Theorem Fin.map_succEmb_Ioc

Modification history