Skip to content

doc: fix typo in infix operators example - #919

Open
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:prec-and
Open

doc: fix typo in infix operators example#919
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:prec-and

doc: fix typo in infix operators example

abaf212
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build site and generate HTML
succeeded Aug 11, 2026 in 4m 52s