Theorem Reflexive.set_pairwise_iff

Modification history

2026-04-14 12:34

Mathlib/Logic/Pairwise.lean

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

Deleted Reflexive.set_pairwise_iff View on Github →

2022-11-17 13:19

Mathlib/Logic/Pairwise.lean

feat: port logic.pairwise (#622) …

Added Reflexive.set_pairwise_iff View on Github →