Skip to content

chore: fix variable names in List lemmas #4971

chore: fix variable names in List lemmas

chore: fix variable names in List lemmas #4971

check-pr-body

succeeded Feb 5, 2025 in 2s