Stream: math-comp users

Topic: ✔ have [] and case

Laurent Théry (May 04 2022 at 23:44):

ok my bad, thanks

Notification Bot (May 04 2022 at 23:44):

Laurent Théry has marked this topic as resolved.

Last updated: Feb 08 2023 at 08:02 UTC