Mathlib v3 is deprecated. Go to Mathlib v4

Theorem geom_sum_inv

Modification history

2019-10-04 11:56
src/algebra/big_operators.lean
feat(algebra): commuting elements (#1089) …
Modified geom_sum_invView on Github →
2019-02-09 15:41
src/algebra/big_operators.lean
refactor(geo_sum): remove duplicate proofs about geometric sums (#706) …
Added geom_sum_invView on Github →