Theorem Cardinal.toENatAux_zero

Modification history