Name:
Anonymous
2013-03-17 16:02
def. !(n: ℤ⁺) → ℤ⁺ = Π(1...n)
Name:
Anonymous
2013-03-17 16:12
If you reverse the order of the range in Π(), you can claim you're not computing it recursively.
Name:
Anonymous
2013-03-17 16:37
def. ! (n: ℤ⁺) → ℤ⁺ = Π 1, ..., n