supernova_mechanism_from_ledger
plain-language theorem explainer
The definition equates the supernova mechanism from the ledger with the stellar initial mass function from the ledger. Astrophysicists modeling core-collapse events cite the equivalence to connect explosion structures to stellar mass distributions. It is realized as a direct alias to the upstream definition of the initial mass function from the ledger.
Claim. The supernova mechanism from the ledger is defined to coincide with the stellar initial mass function from the ledger.
background
The SupernovaMechanismStructure module treats supernova mechanisms as structural propositions grounded in the ledger. The upstream StellarIMFStructure module defines the stellar initial mass function from the ledger by equating it to the ultra-high-energy cosmic ray input from the ledger. This creates the local setting in which supernova structures inherit properties from stellar population inputs via the Recognition ledger.
proof idea
The declaration is a one-line definition that directly sets the supernova mechanism from the ledger equal to the stellar initial mass function from the ledger.
why it matters
This definition supplies the base proposition for the supernova mechanism structure theorem, which proves it by reference to the stellar initial mass function structure. It also enables the implication theorem that the supernova mechanism yields the stellar initial mass function input. In the Recognition Science framework, it integrates supernova astrophysics into the ledger-based derivation of physics.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.