lean4-code-actions/src/utils/Position.ts

Refactorings and snippets for Lean 4

import { Position } from 'vscode'

export function isZero(position: Position) {
  return position.line === 0 && position.character === 0
}