commit: cf4105d12a97aa75fe82dbdf210f6db5baf7046e

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

Fri Jul 25 10:22:29 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jul 25 10:22:29 2025 +1000
tree: d15c38a2396ec54bd520eecc5efe7266c1b3d44d
parent: 75b5c8b0aa24d27d3dfe4d465a9d45e71f9af71e [diff]

fix: definition of Lean.Grind.Field

src/Init/Grind/Ring/Field.lean[diff]

1 file changed

tree: d15c38a2396ec54bd520eecc5efe7266c1b3d44d

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.