Theorem SetRel.IsCover.of_maximal_isSeparated

Modification history

2025-11-04 11:38
Mathlib/Data/Rel/Cover.lean
feat: relation-covered sets (#31104) …
Added SetRel.IsCover.of_maximal_isSeparatedView on Github →