commit: cb3a1316e2ee57e021c29a574137de4664ea6ad4

[log]
author: Kim Morrison <kim@tqft.net>

Fri Jul 25 16:20:04 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jul 25 16:20:04 2025 +1000
tree: e59abb3594360021e8322b80d05c3d8a9583f919
parent: 820c1e6f157afc34fb5b297395d779ce5870ae9b [diff]

chore: parameterize NoNatZeroDivisors by NatModule instead of HMul

2 files changed

tree: e59abb3594360021e8322b80d05c3d8a9583f919

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.