Code

Fix roots in solution2evd#614

Code

Open

Tragicus wants to merge 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom Tragicus:fix-roots-solution2evdTragicus/coq-elpi:fix-roots-solution2evdCopy head branch name to clipboard

+4-1

Commits

Commits on Jun 27, 2024

• add evars in sigma0 to roots in solution2evd

  

  Tragicus

  authored and

  gares

  committed
  7c7ccfa