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: Dec 20 2023 at 11:08 UTC