module
module
IndisputableMonolith.Chemistry.OxidationStatesDerived
show as:
view Lean formalization →
depends on (1)
declarations in this module (10)
-
theorem
must -
def
accessibleOxidationStates -
theorem
iron_oxidation_states -
theorem
manganese_max_seven -
theorem
manganese_state_count -
theorem
iron_oxidation_states_nodup -
theorem
manganese_oxidation_states_nodup -
theorem
oxidation_count_law_available -
structure
OxidationStatesDerivedCert -
theorem
oxidation_states_derived_certified