P
Initializing...
Appendix B (⇐): Gram rows are zero or unit vectors · Prove2Me