P
Initializing...
Bounded linear extension from a seminorm-dense submodule · Prove2Me