mathlib
ba264c4f - chore(group_theory/group_action): cleanup (#7045)

Commit

4 years ago

chore(group_theory/group_action): cleanup (#7045) Clean up stabilizers and add a missing simp lemma.

Author

dwarn

Parents