Theorem SetRel.sUnion_comp

Modification history

2026-09-08 19:42

Mathlib/Basic/Rel.lean

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

Modified SetRel.sUnion_comp View on Github →

2025-09-25 22:03

Mathlib/Data/Rel.lean

feat(Rel): more API (#26988) …

Added SetRel.sUnion_comp View on Github →