Theorem NeZero.natCast_ne

Modification history

2023-09-21 09:16
Mathlib/Data/Nat/Cast/NeZero.lean
chore: only four spaces for subsequent lines (#7286)
Modified NeZero.natCast_neView on Github →
2023-09-05 09:13
Mathlib/Data/Nat/Cast/Defs.lean
chore: separate NeZero dependency from Nat/Cast/Defs (#6955) …
Modified NeZero.natCast_neView on Github →
2022-11-20 00:17
Mathlib/Data/Nat/Cast/Defs.lean
feat: port data.{nat, int}.cast.defs (#641) …
Added NeZero.natCast_neView on Github →