Theorem Fin.finsetImage_succ_Ioi

Modification history