Theorem Ordinal.isInitial_ord

Modification history