Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-03 10:46 111ac5ca

View on Github →

feat(group_theory/perm/basic): of_subtype_apply_of_mem (#8174)

Estimated changes