commit: 474fef2976af13e72bda9b765af22197c17d18c0

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 21 06:06:07 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 21 06:44:45 2026 -0800
tree: d521d424aa8abbac9bf0a30cc30b2ec1db8a3d8a
parent: b9fd59cae98429b53cca7fd8d211c4938ff903cd [diff]

fix: missing `share` when entering telescopes in `Sym.simp`

2 files changed

tree: d521d424aa8abbac9bf0a30cc30b2ec1db8a3d8a

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.