module module

`IndisputableMonolith.Physics.MaterialsScienceFromRS`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

Last generation error: xAI API error (429): The model is currently at capacity due to high demand. Please try again in a few minutes. For guaranteed processing and availability, please request Provisioned Throughput: https://docs.x.ai/developers/advanced-api-usage/provisioned-throughput

generate prose now

declarations in this module (6)

inductive MaterialClass L22
theorem materialClassCount L26
def ohGroupOrder L29
theorem ohGroupOrder_eq_6_times_8 L30
structure MaterialsScienceCert L32
def materialsScienceCert L36