commit: 0372cb9f76dbb81fbefd7a7563f70de49525ece7

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 10 17:40:50 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 10 17:56:19 2025 -0700
tree: a6f6bfd11709eef1324836438b5e9c2c14b31269
parent: 59837efdc6ab24ee6885ccc5f675b3f29412eb9e [diff]

test: basis monomials are simplified

2 files changed

tree: a6f6bfd11709eef1324836438b5e9c2c14b31269

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.