Theorem Fin.map_valEmbedding_Ioc

Modification history