Theorem Rat.num_ne_zero

Modification history

2023-09-12 12:40
Mathlib/Data/Rat/Defs.lean
feat: statement of Fermat's Last Theorem (#6508)
Added Rat.num_ne_zeroView on Github →