Theorem Cardinal.toENatAux_eq_zero

Modification history