P
Initializing...
Proposition 3.6(2), p. 12 — antisymmetry up to the alternator · Prove2Me