Theorem Fin.finsetImage_castAdd_Ioc

Modification history