Theorem Fin.finsetImage_castAdd_Ici

Modification history