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?
∀x. ∀y. P x y
∀x y. P x y
∀x<n. ∀y<n. P x y
Last updated: Sep 16 2025 at 08:28 UTC
Jakub Kądziołka (Feb 12 2021 at 20:26): Jakub Kądziołka (Feb 12 2021 at 20:26):