Skip to content

chore: fix variable names in List lemmas #8505

chore: fix variable names in List lemmas

chore: fix variable names in List lemmas #8505

Triggered via pull request February 5, 2025 05:09
@kim-emkim-em
synchronize #6953
indexLinter
Status Success
Total duration 35s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
26s
check-lean-files
Fit to window
Zoom out
Zoom in