Theorem NNRat.num_ofNat

Modification history

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