Theorem Fin.finsetImage_succ_Icc

Modification history