Theorem SetRel.dom_eq_empty_iff

Modification history

2026-09-08 19:42

Mathlib/Basic/Rel.lean

perf(Basic/Rel): use `grind` instead of `aesop` (#42405) …

Modified SetRel.dom_eq_empty_iff View on Github →

2026-01-13 16:45

Mathlib/Data/Rel.lean

feat(GraphTheory): supports of top and bot graphs (#33856)

Added SetRel.dom_eq_empty_iff View on Github →