Factorial

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

The function taking a natural number n to the product of the first n positive integers.

atlas-factorial · canonical_mko

Prerequisite nodes