mathlib3
feat(algebra/big_operators): sum_ite
#1598
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
3
Changes
View On
GitHub
Commits
feat(algebra/big_operators): sum_ite
ChrisHughes24
committed
6 years ago
Update src/algebra/big_operators.lean
ChrisHughes24
committed
6 years ago
Merge branch 'master' into ChrisHughes24-patch-2
mergify[bot]
committed
6 years ago
Loading
