hasSumFormula

1 triples
GPTKB property

Random triples
Subject Object
gptkb:geometric_series S_n = a(1 - r^n)/(1 - r), r ≠ 1