Theorem Fin.forall_fin_succ

Modification history