Theorem SetRel.IsSeparated.of_subsingleton

Modification history

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