Theorem Fin.finsetImage_succ_Ioc

Modification history