Mathlib v3 is deprecated. Go to Mathlib v4

Theorem reflexive.set_pairwise_iff

Modification history

2022-11-06 23:41

src/data/set/pairwise.lean

refactor(*): supremum of several recent refactoring PRs (#17381) …

Modified reflexive.set_pairwise_iff View on Github →

2022-04-22 20:06

src/data/set/pairwise.lean

feat(order/chain): Flags (#13089) …

Added reflexive.set_pairwise_iff View on Github →