Theorem AList.insert_union

Modification history

2024-05-31 00:19

Mathlib/Data/List/AList.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified AList.insert_union View on Github →

2023-01-13 13:00

Mathlib/Data/List/AList.lean

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

Added AList.insert_union View on Github →