Theorem Equiv.Perm.viaFintypeEmbedding_sign

Modification history