Commit 2021-11-23 16:49 b14f22e9
View on Github →chore(algebra/algebra and group_theory/group_action): move a lemma (#10425)
Move a lemma about the action of a group on the units of a monoid
to a more appropriate place. It accidentally ended up in
algebra/algebra/spectrum but a better place is
group_theory/group_action/units.