Theorem Fintype.nodup_map_univ_iff_injective

Modification history

2025-02-19 07:30
Mathlib/Data/Fintype/Defs.lean
perf: make `Decidable Injective` approximately twice as fast (#21975) …
Added Fintype.nodup_map_univ_iff_injectiveView on Github →