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

Refactorings and snippets for Lean 4

import { allEqual } from '../remeda/allEqual'
import { Quotient } from './index'

export const allEqualDenominators = <N>(quotients: Quotient<N>[]) => allEqual(quotients.map(q => q.denominator))