mathlib3
70662e1c - chore(data/rat/basic): a few trivial lemmas about `rat.denom` (#6667)

Commit

4 years ago

chore(data/rat/basic): a few trivial lemmas about `rat.denom` (#6667)

Author

urkud

urkud

Parents

Loading