P
Initializing...
$\tau(c,\varphi)$ is a weight module iff $\varphi$ is constant · Prove2Me