mathlib
c9e4f8ed - fix(tactic/inarith): fix denominator normalization of products

Commit

6 years ago

fix(tactic/inarith): fix denominator normalization of products

Author

robertylewis

robertylewis

Parents

Loading