summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith.lean
blob: fd5698c528bd8108b4d017867f8b33002ab6895d (plain)
1
import Base.Arith.Arith