Theorem Fin.succAbove_pos

Modification history