Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sigma.ext

Modification history

2020-08-25 13:04
src/data/sigma/basic.lean
feat(data/sigma/basic): cleanup (#3933) …
Modified sigma.extView on Github →
2020-08-23 06:36
src/data/sigma/basic.lean
fix(data/sigma/basic): rename `ext` to `sigma.ext` (#3916)
Added sigma.extView on Github →