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: Mar 28 2024 at 16:17 UTC