Theorem Cardinal.toENatAux_eq_nat

Modification history