Skip to content
TagBot

Rename minimal_generating_set for groups to e.g. minimum_generating_set or minimal_size_generating_set? #16993

Sign in to view logs

Rename minimal_generating_set for groups to e.g. minimum_generating_set or minimal_size_generating_set?

Rename minimal_generating_set for groups to e.g. minimum_generating_set or minimal_size_generating_set? #16993

Triggered via issue October 9, 2024 10:40
@fingolfinfingolfin
commented on #4181 7769ffa
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in