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

check-lean-files

succeeded Feb 5, 2025 in 26s