Metadata
aliases: [Factorial function]
shorthands: {}
created: 2022-02-14 21:53:56
modified: 2022-02-14 22:03:22
Is a function defined on non-negative integers, the following way and with notation:
Or more concisely