Theorem Fin.succAbove_lt_succAbove_iff

Modification history