abbrev definition def or abbrev

`Voxel`

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

formal statement (Lean)

 201abbrev Voxel := Quantity VoxelUnit

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

cone_bound_export in IndisputableMonolith.ConeExport.Theorem decl_use
fractions_sum in IndisputableMonolith.Cosmology.VacuumUniformity decl_use
voxel_density_scaling in IndisputableMonolith.Gravity.RunningGDerivation decl_use
measure_to_meters in IndisputableMonolith.Measurement.RSNative.Calibration.SI decl_use
to_meters in IndisputableMonolith.Measurement.RSNative.Calibration.SI decl_use
c_preserves_cost in IndisputableMonolith.QFT.CPTInvariance decl_use
singularity_resolved in IndisputableMonolith.Quantum.Firewall decl_use
lengthHierarchy in IndisputableMonolith.Quantum.PlanckScale decl_use
significance in IndisputableMonolith.Quantum.PlanckScale decl_use
tau0_from_planck_phi in IndisputableMonolith.Quantum.PlanckScale decl_use
tau19 in IndisputableMonolith.Quantum.PlanckScale decl_use

Lean names referenced from this declaration's body.