Code

instances for measures#1419

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:measure_20241202affeldt-aist/analysis:measure_20241202Copy head branch name to clipboardDec 3, 2024

+33

Commits

Commits on Dec 2, 2024

• instances for measures

  Show description for 9b15f73
  affeldt-aist

  committed
  9b15f73

Commits on Dec 3, 2024

• to please Coq 8.19.2

  affeldt-aist

  committed
  f0f01ad