mathlib3
c1e07a2e - fix(tactic/explode): more accurate may_be_proof (#924)

Commit

6 years ago

fix(tactic/explode): more accurate may_be_proof (#924)

References

#924 - fix(tactic/explode): more accurate may_be_proof

Author

digama0

digama0

Parents

Loading