Theorem Nat.toPNat'_zero

Modification history

2024-02-19 15:34
Mathlib/Data/PNat/Defs.lean
feat(LinearAlgebra/Matrix): center of special linear group (#7826) …
Added Nat.toPNat'_zeroView on Github →