Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-25 16:15 6811f139

View on Github →

fix(data/list/perm): remove unused code (#143)

Estimated changes

deleted theorem list.xswap