Theorem Fin.succAbove_right_injective

Modification history