Theorem Fin.map_succEmb_Icc

Modification history