Skip to content

rename minimal_generating_set for groups to `minimal_size_generatin… #8

rename minimal_generating_set for groups to `minimal_size_generatin…

rename minimal_generating_set for groups to `minimal_size_generatin… #8

test (short)

succeeded Nov 7, 2024 in 51m 50s