Skip to content

chore: fix variable names in List lemmas #8350

chore: fix variable names in List lemmas

chore: fix variable names in List lemmas #8350

check-prelude

succeeded Feb 5, 2025 in 5s