Theorem Fin.map_succEmb_Ioi

Modification history