lean4-code-actions/libs/utils/number/NumberAllAssertions.ts

Refactorings and snippets for Lean 4

import { NumberBasicAssertions } from './NumberBasicAssertions'
import { NumberTernaryAssertions } from './NumberTernaryAssertions'

export const NumberAllAssertions = {
  ...NumberBasicAssertions,
  ...NumberTernaryAssertions,
}

export const assert = NumberAllAssertions

export const assertNumber = NumberAllAssertions