Zulip Chat Archive
Stream: lean4
Topic: How to lookup the precedence of a symbol?
Erika Su (Oct 23 2022 at 10:12):
does |> has higher precedence than . ?
图片.png
Mario Carneiro (Oct 23 2022 at 10:14):
please post code, not images: #mwe
Last updated: Dec 20 2023 at 11:08 UTC