P
Initializing...
No translation-invariant normalised functional on all real functions on the integers · Prove2Me