Theorem Cardinal.ofENat_eq_nat

Modification history