PhysLean Documentation

PhysLean.Units.Energy

Energy #

In this module we define the dimensionful type corresponding to an energy. We define specific insances of energy.

@[reducible, inline]
abbrev DimEnergy :

Energy as a dimensional quantity with dimension MLT⁻2..

Equations
Instances For

    The dimensional energy corresponding to 1 electron volt, 1.602176634×10−19 J.

    Equations
    Instances For
      noncomputable def DimEnergy.calorie :

      The dimensional energy corresponding to 1 calorie, 4.184 J.

      Equations
      Instances For

        The dimensional energy corresponding to 1 kilowatt-hours, (3,600,000 J).

        Equations
        Instances For