Theorem Fin.succAbove_eq_last_iff

Modification history