Theorem lp.ext_continuousLinearMap

Modification history