Documentation
PhysLib
.
WavesAcoustics
.
Periodic
Search
return to top
source
Imports
Init
Mathlib.Tactic
PhysLib.Foundations.SI
Mathlib.Algebra.Group.MinimalAxioms
Imported by
SI
.
Waves
.
Wavelength
source
@[reducible, inline]
abbrev
SI
.
Waves
.
Wavelength
:
Type
Equations
SI.Waves.Wavelength
=
SI.Length
Instances For