Theorem Fin.finsetImage_succ_Ioo

Modification history