P
Initializing...
Proposition 3.5: universal property of the free algebra · Prove2Me