Mathlib Changelog
v4
Changelog
About
Github
Theorem
NNRat.le_def
Modification history
2024-06-09 07:15
Mathlib/Data/NNRat/Defs.lean
feat: order lemmas for NNRat (#13547) …
Added
NNRat.le_def
View on Github →