Skip to content
sleeve
Home
Albums
Lists
Members
Sign in
Create account
∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]
1 album in the catalog.
|˟˟| & ∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)
current
|˟˟| & ∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']], 2011