Theorem Fin.forall_fin_succ_pi

Modification history