Theorem SetRel.IsSeparated.mono_right

Modification history

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