P

Initializing...

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