Theorem Fin.map_castSuccEmb_Iic

Modification history