@[reducible, inline]

noncomputable abbrev SI.Electromagnetism.K : UnitsSystem.Scalar (force_unit + 2 • length_unit - 2 • charge_unit)

Equations

• SI.Electromagnetism.K = (9 * 10 ^ (-9)) • UnitsSystem.StandardUnit (SI.force_unit + 2 • SI.length_unit - 2 • SI.charge_unit)