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

Refactorings and snippets for Lean 4

/* Singulars */

export const hundred = 100

export const thousand = 10 * hundred

export const million = thousand * thousand

/* Plurals */

export const hundreds = hundred

export const thousands = thousand

export const millions = million