Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-09 06:49 7bb4b273

View on Github →

feat(group_theory/group_action): Cayley's theorem (#8552)

Estimated changes

Modified src/group_theory/group_action/group.lean

modified def mul_action.to_perm

added theorem mul_action.to_perm_injective

Modified src/group_theory/perm/subgroup.lean