Zulip Chat Archive
Stream: maths
Topic: additive quotient groups?
Kenny Lau (Sep 01 2018 at 20:22):
Do we have additive quotient groups, in particular the additive version of "quotient_group.lift"? @Kevin Buzzard @Patrick Massot
Last updated: May 02 2025 at 03:31 UTC