Stream: Beginner Questions

Topic: short syntax for multiple ∀


view this post on Zulip Jakub Kądziołka (Feb 12 2021 at 20:26):

As we all know, ∀x. ∀y. P x y may be abbreviated ∀x y. P x y. Is there an equivalent for ∀x<n. ∀y<n. P x y?


Last updated: Sep 25 2022 at 22:23 UTC