Theorem Cardinal.toENat_eq_ofNat

Modification history