P
Initializing...
The kernel of the universal welded epimorphism contains the generator squares (Proposition 2.3) · Prove2Me