Physics.Langmuir5
IndisputableMonolith.Physics.Langmuir5
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
Lean names referenced from this declaration's body.
IndisputableMonolith.Constants
IndisputableMonolith.Cost
domainCost
domainCost_at_eq
domainCost_nonneg
canonicalThreshold
canonicalThreshold_pos
Langmuir5Cert
cert
cert_inhabited