Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-23 06:36 7d88a30a

View on Github →

fix(data/sigma/basic): rename ext to sigma.ext (#3916)

Estimated changes

deleted theorem ext
added theorem sigma.ext