commit: 4e227ef5c49285680df8838292a9b4a0b47f03ce

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

Mon Apr 28 12:19:23 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Apr 28 12:19:23 2025 +0200
tree: a33e590e3abce6e9c0240ee84a16edb4c267526b
parent: e60770a213d3e0e4a404de1f52cf21def9e771e7 [diff]

contains_iff_mem simp lemmas

16 files changed

tree: a33e590e3abce6e9c0240ee84a16edb4c267526b

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