Theorem Ordinal.principal_zero

Modification history