Function composition

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

The composition g∘f first evaluates f and then supplies its output to g; the intermediate value must be an allowed input of g.

atlas-composition · canonical_mko

Prerequisite nodes