1. Physlib
  2. Units
  3. WithDim
  4. Mass
Imports
/- Copyright (c) 2025 Joseph Tooby-Smith. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: Joseph Tooby-Smith -/ module

Mass

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

@[expose] public section