Theorem Fin.succAbove_lt_iff_succ_le

Modification history