# Commit 2022-04-25 23:11 438b39a7

View on Github →feat(set_theory/cardinal/basic): Distributivity of `cardinal.sum`

and + (#13643)
`cardinal.sum_add_distrib`

shows that `cardinal.sum`

distributes over +.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(set_theory/cardinal/basic): Distributivity of `cardinal.sum`

and + (#13643)
`cardinal.sum_add_distrib`

shows that `cardinal.sum`

distributes over +.