Theorem Set.Pairwise.of_forall₂

Modification history

2026-08-21 01:13
Mathlib/Logic/Pairwise.lean
chore: deduplicate `Set.pairwise_iff_of_refl` and add aliases (#42807) …
Added Set.Pairwise.of_forall₂View on Github →