Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
rat.num_div_denom
Modification history
2021-03-16 10:12
src/data/rat/basic.lean
feat(*): add some missing `coe_*` lemmas (#6697) …
Added
rat.num_div_denom
View on Github →