commit: a0556ce2bc7034244860b1f142d30bc8e0f92368

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

Thu Aug 22 20:37:32 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Aug 22 20:37:32 2024 +1000
tree: 1892c85933c19e191b8407edbf3a3e4620457b13
parent: 481894e95dddebfa9d4d0397899830a06b963ac7 [diff]

feat: lemmas about membership of sublists

2 files changed

tree: 1892c85933c19e191b8407edbf3a3e4620457b13

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