Theorem Cardinal.toNat_eq_zero

Modification history