mathlib3
eaa771fc - chore(tactic/cancel_denoms): remove an unused have (#14269)

Commit

4 years ago

chore(tactic/cancel_denoms): remove an unused have (#14269)

Author

adomani

adomani

Parents

Loading