II.T29 — Associativity of Holomorphic Composition

Composition of tau-holomorphic maps is associative: (h . g) . f = h . (g . f) for all composable holomorphic maps. This, together with the identity map, makes HolEnd(tau) a category.