Unit-of-measure US-DOLLAR

• Defined in theory: Standard-units
• Source code: standard-units.lisp
• Also defined in: Product-theory

Slots on this unit-of-measure:

Documentation: An example currency unit.

Instance-Of: Unit-of-measure

Axioms:

(= (Quantity.Dimension Us-Dollar) Currency-Dimension)

Other Related Axioms:

(= Us-Cent (/ Us-Dollar 100))