mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: virtually nilpotent groups

Open YaelDillies opened this issue 1 year ago • 3 comments

Show that nilpotency is preserved under group isomorphisms and define virtually nilpotent subgroups.

From GrowthInGroups

Open in Gitpod

YaelDillies avatar Oct 10 '24 19:10 YaelDillies