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

Refactorings and snippets for Lean 4

export const percent = 0.01