Theorem Fin.succAbove_succ_of_lt

Modification history