Theorem Ordinal.isInitial_zero

Modification history