Code

Adapt to math-comp/math-comp#1131#85

Code

Merged

proux01 merged 2 commits intomastercoq-community/coqeal:masterfrom function_scopecoq-community/coqeal:function_scopeCopy head branch name to clipboardDec 5, 2023

+9-8

Commits

Commits on Dec 5, 2023

• Adapt to math-comp/math-comp#1131

  

  pi8027

  authored and

  proux01

  committed
  996b809

• Fix

  pi8027

  committed
  a929488