grouptheory - Robuta Search

https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/Nilpotent.html Mathlib.GroupTheory.Nilpotent mathlib https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/Congruence/Basic.html Mathlib.GroupTheory.Congruence.Basic mathlib congruence basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/Hom.html Mathlib.GroupTheory.GroupAction.Hom mathlib groupaction hom https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/Solvable.html Mathlib.GroupTheory.Solvable mathlib https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/DomAct/Basic.html Mathlib.GroupTheory.GroupAction.DomAct.Basic mathlib groupaction basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/Pointwise.html Mathlib.GroupTheory.GroupAction.Pointwise mathlib groupaction pointwise https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/CardCommute.html Mathlib.GroupTheory.GroupAction.CardCommute mathlib groupaction https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/Congruence/Hom.html Mathlib.GroupTheory.Congruence.Hom mathlib congruence hom