theorem
other
other
row_vcb_eq_geometry
No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
42theorem row_vcb_eq_geometry : V_cb_pred = edge_dual_ratio := vcb_derived
used by (1)
From the project-wide theorem graph. These declarations reference this one in their body.
depends on (3)
Lean names referenced from this declaration's body.
-
V_cb_pred
in IndisputableMonolith.Physics.CKMGeometry
decl_use
-
vcb_derived
in IndisputableMonolith.Physics.MixingDerivation
decl_use
-
edge_dual_ratio
in IndisputableMonolith.Physics.MixingGeometry
decl_use