Theorem Function.injective_iff_pairwise_ne

Modification history

2022-11-17 13:19
Mathlib/Logic/Pairwise.lean
feat: port logic.pairwise (#622) …
Added Function.injective_iff_pairwise_neView on Github →