Commit 2025-10-29 00:35 b2bd93a6
View on Github →feat: relation-separated sets (#23920) Define a notion of separation of a set relative to a relation. This will be used to unify metric and dynamical separation. From MiscYD and LeanAPAP
feat: relation-separated sets (#23920) Define a notion of separation of a set relative to a relation. This will be used to unify metric and dynamical separation. From MiscYD and LeanAPAP