def definition def or abbrev

`phase`

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

formal statement (Lean)

  26noncomputable def phase (w : ℝ) : ℂ :=

proof body

Definition body.

  27  Complex.exp (w * Complex.I)
  28

used by (40)

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

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
vacuum_climate_zero_cost in IndisputableMonolith.Climate.AttractorStructure decl_use
diurnal_phase in IndisputableMonolith.Climate.DiurnalEightTick decl_use
diurnal_phase_bound in IndisputableMonolith.Climate.DiurnalEightTick decl_use
diurnal_phase_count in IndisputableMonolith.Climate.DiurnalEightTick decl_use
noon_phase in IndisputableMonolith.Climate.DiurnalEightTick decl_use
phase_wraps_24 in IndisputableMonolith.Climate.DiurnalEightTick decl_use
topological_phases_structure in IndisputableMonolith.CondensedMatter.TopologicalPhasesStructure decl_use
balance_from_conservation in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
curvature_term_complete_derivation in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
eight_tick_forces_temporal in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
seam_ratio_from_topology in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
spatial_dims_eq_3 in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
octavePhase in IndisputableMonolith.Constants.RSNativeUnits decl_use
equation_of_state in IndisputableMonolith.Cosmology.DarkEnergyEOS decl_use
vacuum_mode in IndisputableMonolith.Cosmology.DarkEnergyEOS decl_use
darkSector in IndisputableMonolith.Cosmology.DarkMatter decl_use
detectionMethods in IndisputableMonolith.Cosmology.DarkMatter decl_use
LedgerSector in IndisputableMonolith.Cosmology.DarkMatter decl_use
ledgerShadowProperties in IndisputableMonolith.Cosmology.DarkMatter decl_use
mondStatus in IndisputableMonolith.Cosmology.DarkMatter decl_use
odd_phases_dark in IndisputableMonolith.Cosmology.DarkMatter decl_use
PBH in IndisputableMonolith.Cosmology.DarkMatter decl_use
rs_explains_null_detection in IndisputableMonolith.Cosmology.DarkMatter decl_use
structureFormation in IndisputableMonolith.Cosmology.DarkMatter decl_use
summary in IndisputableMonolith.Cosmology.DarkMatter decl_use
btfrData in IndisputableMonolith.Cosmology.GalaxyRotation decl_use
nfwProfile in IndisputableMonolith.Cosmology.GalaxyRotation decl_use
predictions in IndisputableMonolith.Cosmology.GalaxyRotation decl_use
rs_universal_clock in IndisputableMonolith.Cosmology.HorizonProblem decl_use

… and 10 more

depends on (1)

Lean names referenced from this declaration's body.

phase in IndisputableMonolith.Foundation.EightTick decl_use