doc: fix typo in the doc example of List.lex #49043
Triggered via pull request
September 1, 2026 13:50
leanprover-bot
labeled
#14987
Status
Success
Total duration
10s
Artifacts
–