Zulip Chat Archive

Stream: lean4

Topic: Syntax for maps

Siddhartha Gadgil (Jan 08 2022 at 10:36):

(deleted)

Siddhartha Gadgil (Jan 08 2022 at 10:45):

Sorry - my error was a clash with macros

Last updated: May 02 2025 at 03:31 UTC