Theorem Fin.map_castSuccEmb_Ioc

Modification history