Theorem Cardinal.toENatAux_nat

Modification history