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.w3.org/TR/MathML3/chapter4.html#contm.factorial |
||
| (One intermediate revision by the same user not shown) | |||
| 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 | |||
| Property / described at URL | |||
| Property / described at URL: https://www.w3.org/TR/MathML3/chapter4.html#contm.factorial / rank | |||
Normal rank | |||
| Property / described at URL: https://www.w3.org/TR/MathML3/chapter4.html#contm.factorial / qualifier | |||