Theorem SetRel.isSeparated_insert

Modification history

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