Theorem Fin.predAbove_zero_succ

Modification history