Theorem Cardinal.mk_pnat

Modification history

2025-04-28 13:10
Mathlib/SetTheory/Cardinal/Basic.lean
chore(Cardinal): rename `mk_pNat` -> `mk_pnat` (#24429)
Added Cardinal.mk_pnatView on Github →