Equiv.Perm.viaEmbedding
, a noncomputable analogue of Equiv.Perm.viaFintypeEmbedding
. #
viaEmbedding
as a group homomorphism
Equiv.Perm.viaEmbedding
, a noncomputable analogue of Equiv.Perm.viaFintypeEmbedding
. #viaEmbedding
as a group homomorphism