Zulip Chat Archive
Stream: lean4
Topic: Listing of operators and their fixities and precedences
Ching-Tsun Chou (Nov 18 2024 at 07:02):
Is there a way to list all operators currently in effect together with their fixities and precedences?
Last updated: May 02 2025 at 03:31 UTC