Theorem NNRat.den_ofNat

Modification history

2024-05-05 18:04
Mathlib/Data/NNRat/Defs.lean
feat: more NNRat lemmas (#12586) …
Added NNRat.den_ofNatView on Github →