Mathlib v3 is deprecated. Go to Mathlib v4

Def alist.disjoint

Modification history

2020-06-21 21:04

src/data/list/alist.lean

chore(data/list/alist): nolint (#3129)

Modified alist.disjoint View on Github →

2019-07-13 01:46

src/data/list/alist.lean

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

Added alist.disjoint View on Github →