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

Refactorings and snippets for Lean 4

import { BasicArithmetic } from '../arithmetic'
import { getShare } from '../arithmetic/getShare'
import { Quotient } from './index'

export const getQuotientOf = <N>(arithmetic: BasicArithmetic<N>) => ({ numerator, denominator }: Quotient<N>) => getShare(arithmetic)(denominator)(numerator)