lean4-code-actions/libs/utils/Quotient/QuotientBigInt/QuotientBigIntSumComparators.ts

Refactorings and snippets for Lean 4

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

export const QuotientBigIntSumComparators = getSumComparators(QuotientBigIntBasicArithmetic)

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