mathlib3
94fa33b4 - fix(tactic/congrm): support multiple binders (#14753)
Commit
View On GitHub
Commit
3 years ago
fix(tactic/congrm): support multiple binders (#14753)
Author
gebner gebner
Parents
430da94f
FAQ Terms Privacy Refunds Impressum
Loading