commit: 59cd59e1b52050a3398a0a31e12b71ca2e184a59

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

Fri Sep 12 09:15:33 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Sep 12 09:15:33 2025 +1000
tree: d8d34f7fec1b2320bbb8be3f760026bbc25c0899
parent: e7d1cdd36a52a94f68c289d4828e99ff4e0eba60 [diff]

chore: correct order of implicit arguments for Injective/Surjective API

src/Init/Data/Function.lean[diff]

1 file changed

tree: d8d34f7fec1b2320bbb8be3f760026bbc25c0899

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.