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: May 02 2025 at 03:31 UTC