chore: rename `le_or_eq_or_le_succ`

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

Closed chabulhwi closed 1 year ago

chabulhwi commented 1 year ago

Rename le_or_eq_or_le_succ le_or_eq_of_le_succ.