Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sigma.«exists»

Modification history

2020-08-25 13:04
src/data/sigma/basic.lean
feat(data/sigma/basic): cleanup (#3933) …
Added sigma.«exists»View on Github →