lean4-code-actions/libs/utils/numeral/types.ts

Refactorings and snippets for Lean 4

export type Numeral = number | bigint