Theorem List.nodup_append

Modification history

2024-05-31 00:19

Mathlib/Data/List/Nodup.lean

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

Modified List.nodup_append View on Github →

2023-01-10 18:23

Mathlib/Data/List/Nodup.lean

feat: port Mathlib.Data.List.Nodup (#1456)

Added List.nodup_append View on Github →