Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.mem_ext

Modification history

2019-07-13 01:46

src/data/list/sigma.lean

feat(data/finmap): extend the API (#1223)

Added list.mem_ext View on Github →