Robuta

https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Equiv/Opposite.html Mathlib.Algebra.Group.Equiv.Opposite algebra group mathlib equiv opposite https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Pointwise/Set/Basic.html Mathlib.Algebra.Group.Pointwise.Set.Basic algebra group mathlib pointwise set basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Action/End.html Mathlib.Algebra.Group.Action.End algebra group mathlib action end https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/TypeTags/Finite.html Mathlib.Algebra.Group.TypeTags.Finite algebra group mathlib finite https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Int/TypeTags.html Mathlib.Algebra.Group.Int.TypeTags algebra group mathlib int https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Pointwise/Finset/Scalar.html Mathlib.Algebra.Group.Pointwise.Finset.Scalar algebra group mathlib pointwise scalar https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Equiv/Basic.html Mathlib.Algebra.Group.Equiv.Basic algebra group mathlib equiv basic https://en.wikibooks.org/wiki/Abstract_Algebra/Group_Theory/Homomorphism Abstract Algebra/Group Theory/Homomorphism - Wikibooks, open books for an open world abstract algebra group theory open books https://agda.github.io/cubical/Cubical.Algebra.Group.Subgroup.html Cubical.Algebra.Group.Subgroup algebra group cubical subgroup https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Action/Pointwise/Set/Basic.html Mathlib.Algebra.Group.Action.Pointwise.Set.Basic algebra group mathlib action pointwise set https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Int/Defs.html Mathlib.Algebra.Group.Int.Defs algebra group mathlib int defs https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/UniqueProds/Basic.html Mathlib.Algebra.Group.UniqueProds.Basic algebra group mathlib basic https://en.wikibooks.org/wiki/Abstract_Algebra/Group_Theory/Cyclic_groups Abstract Algebra/Group Theory/Cyclic groups - Wikibooks, open books for an open world abstract algebra group theory https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Nat/Hom.html Mathlib.Algebra.Group.Nat.Hom algebra group mathlib nat hom https://math.uni-paderborn.de/en/ag/ca Research Group Computer Algebra and Number Theory - Computer Algebra and Number Theory | Paderborn... algebra and number theory research group computer paderborn