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

added def psigma.map
added theorem psigma.mk_eq_mk_iff
modified def sigma.map
modified theorem sigma.mk_eq_mk_iff