Zulip Chat Archive
Stream: general
Topic: unknown declaration '1'
Scott Morrison (Sep 12 2021 at 23:17):
Has anyone ever seen an error unknown declaration '1', (red squiggle on the theorem name)? It's non-trivial to minimise at the moment, but I'll try.
Last updated: Dec 20 2023 at 11:08 UTC