Theorem Ordinal.isInitial_natCast

Modification history