Theorem NNRat.divNat_eq_div

Modification history

2026-06-10 19:34

Mathlib/Algebra/Field/Rat.lean

feat(Tactic): generalize ofScientific NormNum extension to `DivisionSemiring` (#34805)

Added NNRat.divNat_eq_div View on Github →