lean4-code-actions/libs/utils/number/NumberAdvancedOperations.ts

Refactorings and snippets for Lean 4

import { getAdvancedOperations } from '../arithmetic'
import { NumberBasicArithmetic } from './NumberBasicArithmetic'

export const NumberAdvancedOperations = getAdvancedOperations(NumberBasicArithmetic)

export const { sum, sumMap, sumAmounts, halve, clamp, clampIn, getShare, getDeltas, getQuotientOf } = NumberAdvancedOperations