Theorem Cardinal.ofENat_eq_ofNat

Modification history