Theorem Fin.succAbove_zero

Modification history