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 04 2025 at 16:26 UTC