Code

minor generalization and renaming#1443

Code

Merged

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:measure_20241227affeldt-aist/analysis:measure_20241227Copy head branch name to clipboardDec 29, 2024

+139-93

Commits

Commits on Dec 27, 2024

• minor generalization and renaming

  affeldt-aist

  committed
  34bda22

  Copy full SHA for 34bda22