P
Initializing...
$\operatorname{ProjectionGeneric}$ projections are injective on $G$ · Prove2Me