Code

Reduce ax-13 usage#3905

Code

Merged

wlammen merged 2 commits intometamath:developmetamath/set.mm:developfrom GinoGiotto:mbxGinoGiotto/set.mm:mbxCopy head branch name to clipboardApr 9, 2024

+196-170

Commits

Commits on Apr 3, 2024

• reduce ax-13 usage

  GinoGiotto

  authored
  ef354ba

  Copy full SHA for ef354ba

Commits on Apr 4, 2024

• add comments, edit credits

  GinoGiotto

  committed
  e749638

  Copy full SHA for e749638