Unit-of-measure INCH

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

Slots on this unit-of-measure:

Documentation: English length unit.

Instance-Of: Unit-of-measure

Axioms:

(= (Quantity.Dimension Inch) Length-Dimension)

Other Related Axioms:

(= Foot (* Inch 12))