mathlib3
4abf9618 - feat(algebra/big_operators): product over coerced fintype (#7236)

Commit

4 years ago

feat(algebra/big_operators): product over coerced fintype (#7236)

Author

b-mehta

b-mehta

Parents

Loading