# Def direct_sum.of

#### Modification history

2020-10-23 22:12

src/algebra/direct_sum.lean

feat(algebra/direct_sum): Bundle the homomorphisms (#4754)

Modified direct_sum.ofView on Github →2020-07-23 23:18

src/algebra/direct_sum.lean

feat(algebra/direct_sum): Add ⨁ notation (#3473) …

Modified direct_sum.ofView on Github →