Def List.Nodup.getBijectionOfForallMemList

Modification history

2023-01-19 07:29

Mathlib/Data/List/NodupEquivFin.lean

feat: port Data.List.NodupEquivFin (#1640)

Added List.Nodup.getBijectionOfForallMemList View on Github →