Theorem NNRat.lt_def

Modification history

2024-06-09 07:15
Mathlib/Data/NNRat/Defs.lean
feat: order lemmas for NNRat (#13547) …
Added NNRat.lt_defView on Github →