Comment Comment by philip-b Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows? parent philip-b 4 months ago
