Skip to content

feat(simp_lemmas): allow user congr lemma to have fixed parameters#709

Open
kmill wants to merge 1 commit intomasterfrom
kmill_congr
Open

feat(simp_lemmas): allow user congr lemma to have fixed parameters#709
kmill wants to merge 1 commit intomasterfrom
kmill_congr

Commits

Commits on Mar 28, 2022