Commit 2025-11-16 02:02 2116c7f0

View on Github →

feat(Combinatorics/SimpleGraph/Connectivity/Connected): IsBridge is antitone (#30639)

Estimated changes