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