Skip to content
Post PR summary comment

feat(Combinatorics/SimpleGraph): Add definition of disjoint sum of graphs #27807

Sign in to view logs

feat(Combinatorics/SimpleGraph): Add definition of disjoint sum of graphs

feat(Combinatorics/SimpleGraph): Add definition of disjoint sum of graphs #27807

Triggered via pull request October 31, 2024 18:39
@IvanRenisonIvanRenison
synchronize #15546
IvanRenison/SimpleGraph.Sum
Status Success
Total duration 56s
Artifacts –

PR_summary.yml

on: pull_request
build
48s
build
Fit to window
Zoom out
Zoom in