Theorem Fin.map_castSuccEmb_Icc

Modification history