Theorem List.insert.def

Modification history

2023-12-16 04:19

Mathlib/Data/List/Infix.lean

chore: bump Std to match leanprover/std4#448 (#9044)

Deleted List.insert.def View on Github →

2023-01-05 23:05

Mathlib/Data/List/Infix.lean

feat: port Data.List.Infix (#1350)

Added List.insert.def View on Github →