Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-30 18:01 f05acc8e

View on Github →

feat(group_theory/group_action): orbit_equiv_quotient_stabilizer_symm_apply and docs (#2864)

Estimated changes