Theorem Fin.finsetImage_castAdd_Icc

Modification history