Theorem Ordinal.isAcc_iff

Modification history