Theorem Std.Refl.set_pairwise_iff

Modification history

2026-08-21 01:13

Mathlib/Logic/Pairwise.lean

chore: deduplicate `Set.pairwise_iff_of_refl` and add aliases (#42807) …

Deleted Std.Refl.set_pairwise_iff View on Github →

2026-04-14 12:34

Mathlib/Logic/Pairwise.lean

chore(Order/Defs/Unbundled): deprecate `def Reflexive` in favor of `class Std.Refl` (#37278) …

Added Std.Refl.set_pairwise_iff View on Github →