Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-02-14 18:04
683519f3
View on Github →
feat(data/equiv/basic): generalise subtype_equiv_of_subtype (
#724
)
Estimated changes
Modified
src/data/equiv/basic.lean
added
def
equiv.subtype_equiv_of_subtype'
modified
def
equiv.subtype_equiv_of_subtype