Theorem Fin.finsetImage_castSucc_Ioo

Modification history