Theorem Fin.succ_lt_succ_iff

Modification history