Item:Q8766: Difference between revisions
Created claim: subclass of (P1): figurate number (Q1201) |
Created claim: defining formula (P333): C_{9,n}={\frac {9}{2}}n(n-1)+1={{9n^{2}-9n+2} \over 2} |
||
Property / defining formula | |||
C_{9,n}={\frac {9}{2}}n(n-1)+1={{9n^{2}-9n+2} \over 2} | |||
Property / defining formula: / rank | |||
Normal rank | |||
Property / defining formula: / qualifier | |||
Property / defining formula: / qualifier | |||
in defining formula: n\geq {1},n\in \mathbb {N} |