theorem other other

`Q3_vertices`

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

formal statement (Lean)

 101theorem Q3_vertices : V 3 = 8 := by norm_num [V]

From the project-wide theorem graph. These declarations reference this one in their body.

Q3_vertices in IndisputableMonolith.Constants.AlphaHigherOrder decl_use
Q3_vertices_eq in IndisputableMonolith.Constants.AlphaHigherOrder decl_use
GDerivationChain in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
kappa_normalized in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
Q3_vertices in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
total_curvature_gauss_bonnet in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
Q3_vertices in IndisputableMonolith.Constants.PlanckScaleMatching decl_use
framework_self_consistent in IndisputableMonolith.Foundation.SpectralEmergence decl_use
numerological_summary in IndisputableMonolith.Foundation.SpectralEmergence decl_use
spectral_emergence in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Q3Cert in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_edge_count in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_eigenvalue_count in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_euler in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_multiplicities_sum in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_trace in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_vertices in IndisputableMonolith.Physics.CubeSpectrum decl_use
Q3_vertices_eq in IndisputableMonolith.Physics.CubeSpectrum decl_use

Lean names referenced from this declaration's body.