UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (3 loc) • 204 B
1
2
3
4
5
import { getTernaryComparisons } from '../arithmetic' import { NumberBasicArithmetic } from './NumberBasicArithmetic' export const NumberTernaryComparisons = getTernaryComparisons(NumberBasicArithmetic)