lean4-code-actions/libs/utils/length.ts

Refactorings and snippets for Lean 4

export const millimeter = 1

export const centimeter = 100 * millimeter

export const meter = 1000 * millimeter

export const millimeters = millimeter

export const centimeters = centimeter

export const meters = meter