Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2017-11-05 01:30
d743fdfa
View on Github →
feat(data/sigma): duplicate sigma basics for psigma
Estimated changes
Modified
data/sigma/basic.lean
added
def
psigma.map
added
theorem
psigma.mk_eq_mk_iff
modified
def
sigma.map
modified
theorem
sigma.mk_eq_mk_iff