feat(Combinatorics/SimpleGraph/Sum): add homomorphism, embedding and isomorphism of sums #50668
Triggered via pull request
April 3, 2026 06:37
YaelDillies
YaelDillies
labeled
#37495
Status
Success
Total duration
20s
Artifacts
–
zulip_emoji_labelling.yaml
on: pull_request_target
set_pr_emoji
16s