added Pointed algebraic structure, (raw) bundle and homomorphism#1958
Closed
jamesmckinna wants to merge 2 commits intoagda:masterfrom jamesmckinna:pointed
+172-2
Pointed algebraic structure, (raw) bundle and homomorphism#1958