Namespace IsFreeGroup 1 theorems
- Transfer from a finite-index normal subgroup of a free group
IsFreeGroup.surjective_transfer_and_transfer_eq_one_iff_mem_closure0 below · cited by 1 · depth 16
IsFreeGroup 1 theoremsIsFreeGroup.surjective_transfer_and_transfer_eq_one_iff_mem_closure 0 below · cited by 1 · depth 16