P
Initializing...
Naming the strong Yosida exponential limit · Prove2Me