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

Diff — Indian mathematics

Revision #1314 → #2593 · back to history

modifiedSum of powers for large n (Kerala)49f709d94326
FieldFrom #1314To #2593
mathlib.declFinset.sum_range_powsum_range_pow
provenanceaiai-moderated