Theorem Fin.finsetImage_succ_Iic

Modification history