Theorem List.count_map_of_injective

Modification history

2024-06-08 10:13

Mathlib/Data/List/Count.lean

chore(Data/List): cleanup redundant type arguments (#13605)

Modified List.count_map_of_injective View on Github →

2023-01-10 11:52

Mathlib/Data/List/Count.lean

feat: port Data.List.Count (#1410) …

Added List.count_map_of_injective View on Github →