P
Initializing...
Dimension characterizes isomorphism (Three.I.2) · Prove2Me