Def List.remove

Modification history

2024-04-05 20:49

Mathlib/Data/List/Card.lean

chore(Data/List/Card): Delete (#11846) …

Deleted List.remove View on Github →

2021-07-12 11:40

Mathlib/Data/List/Card.lean

feat(Data/List/Card): add a theory of cardinality for lists (#25)

Added List.remove View on Github →