Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-19 06:54 50f18e68

View on Github →

feat(group_theory/group_action): group actions and orbit stabilizer (#204)

Estimated changes

Created group_theory/group_action.lean

added theorem is_group_action.bijective

added theorem is_group_action.orbit_eq_iff

added def is_group_action.to_perm

added def is_monoid_action.fixed_points

added theorem is_monoid_action.mem_fixed_points'

added theorem is_monoid_action.mem_fixed_points

added theorem is_monoid_action.mem_orbit

added theorem is_monoid_action.mem_orbit_iff

added theorem is_monoid_action.mem_orbit_self

added theorem is_monoid_action.mem_stabilizer_iff

added def is_monoid_action.orbit

added def is_monoid_action.stabilizer