t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x
![∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]](https://cdn.raygum.com/coX5qnLkLZeH.webp?width=372&format=webp)
Releases
Keep tabs on t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x.
We'll nudge you when t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x puts something new out, gets a review, climbs a chart, or turns up in someone's newsletter. Sign up, follow them, we'll do the watching. Free, and we won't be weird about your inbox.