Zulip Chat Archive

Stream: maths

Topic: group actions

Reid Barton (May 01 2018 at 02:25):

Does mathlib know anything about group actions? Say just a group acting on a set?

Johan Commelin (May 01 2018 at 04:57):

I think @Kenny Lau formalised group actions at some point. But not sure if it is in mathlib.

Kenny Lau (May 01 2018 at 06:09):

https://github.com/kckennylau/category-theory/blob/master/src/group_action.lean

Kenny Lau (May 01 2018 at 06:09):

I proved orbit stabiliser annd burnside

Last updated: Dec 20 2023 at 11:08 UTC