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: May 02 2025 at 03:31 UTC