P
Initializing...
p.5: for the sets (2.8) of $\mathfrak M$, $\mathcal R_{|\mathcal G}(\cdot)=\mathcal R^\star_{|\mathcal G}(\cdot)$ · Prove2Me