adapt quotient to top groups - SemanticDiff

Commit

3 years ago

adapt quotient to top groups

References

#16575 - feat (group_theory/amenable) : Quotients of amenable groups are amenable

Author

matthias567

matthias567

Parents

Loading