contradiction tries to make use of constructor disjunction for proof equalities
#9360
This job was skipped
Loading