P
Initializing...
The two angle axioms hold for any chart-compatible direction assignment · Prove2Me