Theorem Fin.succAbove_ne_zero

Modification history