Theorem Fin.map_castSuccEmb_Ioi

Modification history