Theorem Fin.one_succAbove_succ

Modification history