mathlib
26dfea59 - feat(algebra/big_operators): sum of two products (#3944)

Commit

5 years ago

feat(algebra/big_operators): sum of two products (#3944)

References

#4925 - Make prime-avoidance branch build

Author

fpvandoorn

fpvandoorn

Parents

Loading