commit: cbd3b81e73a018e595306a7e95d921db5a64b19f

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

Wed Aug 21 11:27:07 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Aug 21 11:27:07 2024 +1000
tree: a5b0c7186fd60965b718646d1bcbdef65a1b19cd
parent: 4aa74d9c0b0e9706b819af655dfe3f4954213102 [diff]

feat: more aggressive simp lemmas for List.subset

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

1 file changed

tree: a5b0c7186fd60965b718646d1bcbdef65a1b19cd

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