Theorem Rat.den_ne_zero

Modification history

2024-04-06 09:41
Mathlib/Data/Rat/Defs.lean
refactor: Avoid `Rat` internals in the definition of `Field` (#11639) …
Added Rat.den_ne_zeroView on Github →