fix: solveByElim would add symm hypotheses to local context and make impossible-to-elaborate terms#3962

Merged

kim-em merged 1 commit intoleanprover:masterfrom kmill:fix_3922

Apr 22, 2024

+72-27

Commits on Apr 20, 2024

fix: solveByElim would add symm hypotheses to local context and make impossible-to-elaborate terms
kmill
committed