Def NNRat.divNat

Modification history

2024-08-17 13:18

Mathlib/Data/NNRat/Defs.lean

chore(Algebra.Order.Ring.Rat): split into unbundled and bundled ordered algebra results (#15071) …

Modified NNRat.divNat View on Github →

2024-04-15 14:21

Mathlib/Data/NNRat/Defs.lean

refactor(Rat): Streamline basic theory (#11504) …

Added NNRat.divNat View on Github →