sub_group_with_zero

Stream: Is there code for X?

[Adam Topaz]

I'm fairly sure we don't have bundled subobjects for group_with_zero and its friends multiplicativething_with_zero, but I just want to confirm.

[Eric Wieser]

We don't

[Kevin Buzzard]

This would be a perfect project for a learner

[Kevin Buzzard]

"copy this file about bundled subgroups and bundle subgroups with 0" is a great project