4 ms·
{ a∈ℤ | ∀S∈O a∉S } where O is defined to be set of all OIES listings.
by kimburgess 4y ago
{ a∈ℤ | ∀S∈O a∉S }
where O is defined to be set of all OIES listings.
- CJefferson 4y agoYou'd have to clarify to "OIES as of March 8th, 2023, at midnight GMT" (or something similar). Then you need to import a full copy of that OIES (as definitions should be self-contained as much as possible). That importing is what would stop you -- the definition of the problem would end up far too huge.