WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Geometric progression

Revision #3583 → #4109 · back to history

modifiedGeometric series225334c4d19e
FieldFrom #3583To #4109
mathlib.moduleMathlib.Algebra.GeomSumMathlib.Algebra.Field.GeomSum
modifiedGeometric series (finite/infinite)d80c8b0d9f39
FieldFrom #3583To #4109
mathlib.moduleMathlib.Algebra.GeomSumMathlib.Algebra.Field.GeomSum
modifiedFinite geometric sum closed form708736c7b8f5
FieldFrom #3583To #4109
mathlib.moduleMathlib.Algebra.GeomSumMathlib.Algebra.Field.GeomSum