WhitneySumFormula

Indicates that the characteristic class (typically total Chern or Stiefel–Whitney class) of a direct sum of vector bundles equals the cup-product of the characteristic classes of the individual bundles.