Theorem SetRel.cod_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.cod_eq_empty_iffView on Github →
2026-01-13 16:45
Mathlib/Data/Rel.lean
feat(GraphTheory): supports of top and bot graphs (#33856)
Added SetRel.cod_eq_empty_iffView on Github →