Commit 2026-02-13 21:13 84e8ddf9

View on Github →

feat(Combinatorics/SimpleGraph/Connectivity/Subgraph): w.toSubgraph ≤ G' ↔ w.edgeSet ⊆ G'.edgeSet (#33527)

Estimated changes