commit: 4cdc199f772977113bd6c1bf87a6c02b78d5c4d3

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Tue Feb 10 17:33:38 2026 +1100
committer: GitHub <noreply@github.com>

Tue Feb 10 06:33:38 2026 +0000
tree: 0440b93fbe5e8961f4e5e673988ee6fbfb62f531
parent: af2444a140d51e3c97247814204fef6821d2ba76 [diff]

chore: revert reducibility change to HasSSubset for now (#12403)

This PR reverts `attribute [reducible] HasSSubset.SSubset` from #12368,
as it is not immediately needed, and causes breakages in Mathlib.

src/Init/Core.lean[diff]

1 file changed

tree: 0440b93fbe5e8961f4e5e673988ee6fbfb62f531

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.