refactor: unify `ℒₒᵣ`/`ℒₛₑₜ` syntax type aliases#837

Merged

SnO2WMaN merged 3 commits into

sentence-alias-refactor

Jul 4, 2026

Commits on Jul 4, 2026

refactor: replace `Sentence ℒₒᵣ`/`Sentence ℒₛₑₜ` with `ArithmeticSentence`/`SetTheorySentence`

SnO2WMaN
and
claude
committed
refactor: extend `ℒₒᵣ`/`ℒₛₑₜ` type aliases across formula levels

SnO2WMaN
and
claude
committed
refactor: add term-level aliases and relocate arithmetic aliases to `Arithmetic/Basic/Misc.lean`

SnO2WMaN
and
claude
committed