lean4-code-actions/libs/utils/Quotient/getNativeOperations.ts

Refactorings and snippets for Lean 4

import { BasicArithmetic } from '../arithmetic'
import { setDenominator } from './setDenominator'

export const getNativeOperations = <N>(arithmetic: BasicArithmetic<N>) => ({
  setDenominator: setDenominator(arithmetic),
})