commit: 80ddbf45eb92794b1df2cb625e9432753d41601b

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Thu Jan 16 16:19:28 2025 +1100
committer: GitHub <noreply@github.com>

Thu Jan 16 05:19:28 2025 +0000
tree: a91926858475d3246c4c669c021ac380ebb551f2
parent: 3a6c5cf4f189cb0725a42a609c16338fa8db6661 [diff]

feat: align List/Array/Vector.flatMap (#6660)

This PR defines `Vector.flatMap`, changes the order of arguments in
`List.flatMap` for consistency, and aligns the lemmas for
`List`/`Array`/`Vector` `flatMap`.

6 files changed

tree: a91926858475d3246c4c669c021ac380ebb551f2

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