P
Initializing...
Partial converse to Proposition 3(1): goodness and the identity section · Prove2Me