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: Dec 20 2023 at 11:08 UTC