Commit 2025-10-27 15:31 d5cab0e8
View on Github →refactor(CategoryTheory/Generator): use ObjectProperty instead of Set (#30269)
In certain applications (see #30247), it becomes unpractical to have certains notions like IsSeparating defined for Set C, while the API for the relatively new ObjectProperty is expanding. In this PR, we move the definition of IsSeparating to the ObjectProperty namespace.