Theorem AList.ext_iff

Modification history

2024-07-31 09:27

Mathlib/Data/List/AList.lean

chore: improve some ext_iff lemmas (#15340) …

Deleted AList.ext_iff View on Github →

2023-01-13 13:00

Mathlib/Data/List/AList.lean

feat: port Data.List.AList (#1530)

Added AList.ext_iff View on Github →