Theorem Fin.finsetImage_succ_Ici

Modification history