Mathlib Changelog
v3
Changelog
About
Github
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
Modified
src/group_theory/perm/basic.lean
modified
theorem
equiv.perm.of_subtype_apply_coe
added
theorem
equiv.perm.of_subtype_apply_of_mem