lean4-code-actions/libs/utils/Quotient/QuotientBigNumber/QuotientBigNumberNativeOperations.ts

Refactorings and snippets for Lean 4

import { BigNumberBasicArithmetic } from '../../BigNumber/BigNumberBasicArithmetic'
import { getNativeOperations } from '../getNativeOperations'

export const QuotientBigNumberNativeOperations = getNativeOperations(BigNumberBasicArithmetic)

export const { setDenominator } = QuotientBigNumberNativeOperations