Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-10-14 13:24
dc23dfa1
View on Github →
feat(data/equiv/basic): subtype_equiv_psigma (
#9688
)
depends on:
#9687
Estimated changes
Modified
src/data/equiv/basic.lean
added
def
equiv.psigma_equiv_subtype
added
def
equiv.sigma_plift_equiv_subtype
added
def
equiv.sigma_ulift_plift_equiv_subtype