Def SetRel.IsSeparated

Modification history

2025-10-29 00:35
Mathlib/Data/Rel/Separated.lean
feat: relation-separated sets (#23920) …
Added SetRel.IsSeparatedView on Github →