Zulip Chat Archive

Stream: maths

Topic: (no topic)

Kevin Buzzard (Jan 13 2020 at 22:23):

(deleted)

Nicholas McConnell (Feb 26 2020 at 05:14):

(deleted)

Nicolò Cavalleri (Jun 13 2020 at 18:19):

(deleted)

Wrenna Robson (Dec 07 2020 at 22:35):

(deleted)

Yakov Pechersky (Nov 04 2021 at 23:42):

(deleted)

Eric Wieser (Jul 22 2022 at 10:46):

/poll What should we renamed normed_group, semi_normed_group, normed_group_hom to?

  • normed_add_group, semi_normed_add_group, normed_add_group_hom
  • normed_add_group, seminormed_add_group, normed_add_group_hom
  • normed_add_comm_group, semi_normed_add_comm_group, normed_add_comm_group_hom
  • normed_add_comm_group, seminormed_add_comm_group, normed_add_comm_group_hom

Last updated: Dec 20 2023 at 11:08 UTC