Mathlib v3 is deprecated. Go to Mathlib v4

Theorem alist.ext_iff

Modification history

2020-01-29 17:00
src/data/list/alist.lean
chore(*): add inhabited instances (#1898) …
Added alist.ext_iffView on Github →