Theorem Fin.succAbove_inj

Modification history