Theorem Finset.map_valEmbedding_attachFin

Modification history