Code

Adapt to coq#19611#1402

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom Tragicus:pr19611Tragicus/analysis:pr19611Copy head branch name to clipboardNov 20, 2024

+64-43

Commits

Commits on Nov 19, 2024

• adapt to coq#19611

  Tragicus

  committed
  731018d

Commits on Nov 20, 2024

• fix changelog, doc

  affeldt-aist

  committed
  7fe48b4