Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-06 05:50 ba264c4f

View on Github →

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

Estimated changes

Modified src/group_theory/group_action/basic.lean

modified theorem mul_action.mem_stabilizer_iff

added theorem mul_action.mem_stabilizer_submonoid_iff

modified theorem mul_action.quotient.smul_coe

deleted def mul_action.stabilizer.subgroup

deleted def mul_action.stabilizer_carrier