Commit 2025-11-04 21:16 a29cbe30
View on Github →feat(Combinatorics/SimpleGraph/Connectivity/Connected): {Subsingleton, Unique, Nonempty} instances for ConnectedComponent (#30626)
feat(Combinatorics/SimpleGraph/Connectivity/Connected): add {Subsingleton, Unique, Nonempty} instances for ConnectedComponent