Zulip Chat Archive

Stream: mathlib4

Topic: sl2 capitalization

Matthew Ballard (Aug 08 2024 at 15:22):

Can we make a naming exception for the special linear Lie algebra?

Damiano Testa (Aug 08 2024 at 15:32):

Either that, of they should be typed with mathfrak!

Matthew Ballard (Aug 08 2024 at 15:33):

Let's see windows handle that in the filename

Last updated: May 02 2025 at 03:31 UTC