Theorem NNRat.mk_zero

Modification history

2025-10-09 12:15
Mathlib/Data/NNRat/Defs.lean
feat(GroupTheory): add DivisibleHull (#29275) …
Added NNRat.mk_zeroView on Github →