feat(Combinatorics/SimpleGraph/Clique): independence number is zero iff the graph has no vertices #279297
Triggered via pull request
September 5, 2026 11:30
SnirBroshi
SnirBroshi
created
#43216
Status
Success
Total duration
10s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review_comment
Fix style issues from lint
7s