Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.xswap

Modification history

2018-05-25 16:15

data/list/perm.lean

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

Deleted list.xswap View on Github →

2017-10-15 01:58

data/list/perm.lean

feat(*): working on list/basic, robusting simp proofs

Added list.xswap View on Github →