PhysLean Documentation

PhysLean.Units.Mass

Mass #

In this module we define the type Mass, which represents the mass of a particle, in an arbitrary (but given) set of units.

@[reducible, inline]
abbrev Mass :

Mass in a given but arbitary set of units.

Equations
Instances For