Theorem List.mem_map_swap

Modification history

2025-01-13 11:54

Mathlib/Data/List/Basic.lean

chore(Data/List): move a `Prod` lemma from `Basic.lean` to `ProdSigma.lean` (#20702) …

Modified List.mem_map_swap View on Github →

2023-01-05 14:40

Mathlib/Data/List/Basic.lean

feat port: Data.List.Basic (#966) …

Added List.mem_map_swap View on Github →