Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-14 11:12 15b764d8

View on Github →

feat(group_theory/complement): Add more API for the action on left transversals (#13363) This PR adds more API for the action on left transversals.

Estimated changes

added theorem subgroup.smul_to_equiv