Theorem Equiv.Perm.viaFintypeEmbedding_apply_mem_range

Modification history