pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Chemistry.PolymerMorphologyFromConfigDim

show as:
view Lean formalization →

This module defines polymer morphology derived from configuration dimension in the Recognition Science framework. It serves theoretical chemists building RS-based models for polymer structures. The module imports the foundational time quantum and organizes sibling definitions and certificates without proofs.

claimPolymer morphology is determined from configuration dimension using the RS time quantum with $τ_0 = 1$ tick.

background

The module sits in the Chemistry domain of Recognition Science and imports IndisputableMonolith.Constants. That upstream module supplies the fundamental RS time quantum $τ_0 = 1$ tick. Sibling objects include PolymerMorphology, polymerMorphology_count, PolymerMorphologyCert and polymerMorphologyCert, which supply counts and certificates tied to the same configuration-dimension construction.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the base definitions that connect polymer morphology to configuration dimension, feeding the Recognition Science treatment of chemical structures. It anchors the chemistry section on the imported constants and prepares the ground for any downstream certificates or counts.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)