Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-23 19:20 d91a267f

View on Github →

fix(data/list/basic): protected list.sigma (#140)

Estimated changes

deleted def list.sigma