Theorem Fin.succ_predAbove_zero

Modification history