fluorine_ranking
plain-language theorem explainer
Fluorine with atomic number 9 receives an electronegativity ranking of exactly 7/8 under the valence-fraction definition. Chemists validating periodic trends or shell-closure predictions would cite this concrete case when checking the second-period ordering. The proof reduces the ranking expression by unfolding the valence and period auxiliaries then normalizes the resulting arithmetic.
Claim. The electronegativity ranking of fluorine (atomic number 9), given by the ratio of valence electrons to period length, equals $7/8$.
background
Electronegativity ranking for atomic number Z is the ratio of valence electrons to period length. Valence electrons equal Z minus the previous noble-gas closure; period length equals the difference between consecutive noble-gas closures. This ratio serves as a proxy for electron attraction that increases as an atom approaches shell completion within its period.
proof idea
The proof is a one-line wrapper that unfolds enRanking together with valenceElectrons, periodLength, prevClosure and nextClosure, then applies numeric normalization to reach the fraction 7/8.
why it matters
The declaration supplies the explicit fluorine instance required by the module's ordering predictions, confirming fluorine as the element of maximal ranking in the second period. It anchors the claim that electronegativity rises across a period toward closure and feeds the broader Recognition Science chemistry layer that derives shell patterns from the phi-ladder scaling.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.