Theorem Fin.succ_predAbove_succ

Modification history