Item:Q7718: Difference between revisions
Created claim: defining formula (P333): n! = \begin{cases} \prod_{k = 1}^n k & n > 0 \\ 1 & n = 0 \end{cases} |
Created claim: described at URL (P408): https://www.openmath.org/cd/integer1.xhtml#factorial |
||
| Property / described at URL | |||
| Property / described at URL: https://www.openmath.org/cd/integer1.xhtml#factorial / rank | |||
Normal rank | |||
| Property / described at URL: https://www.openmath.org/cd/integer1.xhtml#factorial / qualifier | |||