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

Refactorings and snippets for Lean 4

import { getSumComparators } from '../../arithmetic/getSumComparators'
import { QuotientBigNumberBasicArithmetic } from './QuotientBigNumberBasicArithmetic'

export const QuotientBigNumberSumComparators = getSumComparators(QuotientBigNumberBasicArithmetic)

export const { sumEqOne, sumLtOne, sumGtOne, sumLteOne, sumGteOne } = QuotientBigNumberSumComparators