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: Dec 20 2025 at 21:32 UTC
Is there a way to add protected to a theorem generated by alias?
Last updated: Dec 20 2025 at 21:32 UTC