Zulip Chat Archive
Stream: new members
Topic: Generating set for group
Nicolò Cavalleri (Jun 29 2020 at 10:39):
Is there anywhere in Mathlib the notion of generating set for group s? Or is the simplest way to say it subgroup.closure s = ⊤?
Last updated: Dec 20 2023 at 11:08 UTC