Theorem Fin.one_succAbove_zero

Modification history