Zulip Chat Archive
Stream: Is there code for X?
Topic: protected alias
Anatole Dedecker (Jul 28 2023 at 21:56):
Is there a way to add protected to a theorem generated by alias?
Last updated: May 02 2025 at 03:31 UTC
Is there a way to add protected to a theorem generated by alias?
Last updated: May 02 2025 at 03:31 UTC