Commit 2025-11-04 11:38 1621e0d7
View on Github →feat: relation-covered sets (#31104) Define a notion of cover of a set relative to a relation. This will be used to unify metric and dynamical covers. From MiscYD and LeanAPAP
feat: relation-covered sets (#31104) Define a notion of cover of a set relative to a relation. This will be used to unify metric and dynamical covers. From MiscYD and LeanAPAP