IdrisDoc: Quantities.SIBaseQuantities

Quantities.SIBaseQuantities

Time : Dimension
Temperature : Dimension
Mass : Dimension
LuminousIntensity : Dimension
Length : Dimension
ElectricCurrent : Dimension
AmountOfSubstance : Dimension