abbrev definition def or abbrev

`Frequency`

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

formal statement (Lean)

  59abbrev Frequency := ℝ

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

enzyme_enhances_rate in IndisputableMonolith.Chemistry.ActivationEnergy decl_use
freqQuantum in IndisputableMonolith.Constants.RSNativeUnits decl_use
freq_raw in IndisputableMonolith.Constants.RSNativeUnits decl_use
mass_raw in IndisputableMonolith.Constants.RSNativeUnits decl_use
to_hertz in IndisputableMonolith.Constants.RSNativeUnits decl_use
SelfSustaining in IndisputableMonolith.Energy.VacuumPump decl_use
EEGProtocol in IndisputableMonolith.Experiments.Protocols decl_use
i_power_is_rotation in IndisputableMonolith.Mathematics.ImaginaryUnit decl_use
eighth_notes_per_measure in IndisputableMonolith.MusicTheory.Rhythm decl_use
ShadowFringeFrequency in IndisputableMonolith.Relativity.Lensing.ShadowPredictions decl_use
shadow_fringe_observable_trivial in IndisputableMonolith.Relativity.Lensing.ShadowPredictions decl_use