Theorem Fin.map_castSuccEmb_Ico

Modification history