P
Initializing...
Friedrichs extension exists with no bound · Prove2Me