Theorem Cardinal.ofNat_eq_ofENat

Modification history