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_defView on Github →