Theorem List.Nodup.map_on

Modification history

2022-10-08 09:24
Mathlib/Data/List/Nodup.lean
feat: minimal port of `Fintype (Fin n)` (#433) …
Added List.Nodup.map_onView on Github →