A direct sum is holomorphically bornological with the topology induced by a cartesian product Barroso, Jorge Alberto; Nachbin, Leopoldo — 1981 Portugaliae mathematica