Zulip Chat Archive

Stream: maths

Topic: group actions


view this post on Zulip Reid Barton (May 01 2018 at 02:25):

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

view this post on Zulip 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.

view this post on Zulip Kenny Lau (May 01 2018 at 06:09):

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

view this post on Zulip Kenny Lau (May 01 2018 at 06:09):

I proved orbit stabiliser annd burnside


Last updated: May 06 2021 at 18:20 UTC