commit: 4dd182c55440aadf81a38029f6e3c86ea4857079

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Sun Dec 08 16:19:42 2024 +1100
committer: GitHub <noreply@github.com>

Sun Dec 08 05:19:42 2024 +0000
tree: de3d96284a62852de3158f88068916092a2ebf86
parent: 762c5758f51cb7d646dc1c4668a38a7e6d7704c5 [diff]

chore: remove deprecated aliases for `Int.tdiv` and `Int.tmod` (#6322)

This PR removes the deprecated aliases `Int.div := Int.tdiv` and
`Int.mod := Int.tmod`. Later we will rename `Int.ediv` to `Int.div` and
`Int.emod` to `Int.mod`.

7 files changed

tree: de3d96284a62852de3158f88068916092a2ebf86

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).