Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-10 19:04 df9683ca

View on Github →

feat(topology/algebra/infinite_sum): lemmas about mul_opposite (#13674)

Estimated changes

added theorem exp_op
added theorem exp_unop
added theorem has_sum.op
added theorem has_sum.unop
added theorem has_sum_op
added theorem has_sum_unop
added theorem summable.op
added theorem summable.unop
added theorem summable_op
added theorem summable_unop
added theorem tsum_op
added theorem tsum_unop