commit: d11293a731eb37a8dacc8ddc1130dae1fc201a96

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

Mon Jun 24 21:44:42 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 24 21:44:42 2024 +1000
tree: 1c7ff85656caba70b4d4b02390b154a20d302587
parent: e3578c2f36c2d4fa9cc55584a7671c0c81c70ed9 [diff]

feat: maximum?_eq_some_iff'

src/Init/Data/List/TakeDrop.lean[diff]

1 file changed

tree: 1c7ff85656caba70b4d4b02390b154a20d302587

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).