Commit 2025-11-08 20:46 b02af055

View on Github →

feat(SimpleGraph): characterise when the edge set is a given set (#31391) This will used for rewriting in #31364.

Estimated changes