Def Ordinal.isInitialIso

Modification history