Code

Replace "rn" by "cdm" (1)#4484

Code

Merged

avekens merged 4 commits intometamath:developmetamath/set.mm:developfrom avekens:av_rn1avekens/set.mm:av_rn1Copy head branch name to clipboardDec 22, 2024

+68,457-68,406

Commits

Commits on Dec 17, 2024

• Replace "rn" by "cdm" (1)

  Show description for 42d7266
  avekens

  committed
  42d7266

  Copy full SHA for 42d7266

Commits on Dec 18, 2024

• Correction of examples for abbreviation

  avekens

  committed
  1ccd70e

  Copy full SHA for 1ccd70e

Commits on Dec 21, 2024

• Typo ffel* -> ffvel*

  avekens

  committed
  b16612a

  Copy full SHA for b16612a

• Merge branch 'develop' into av_rn1

  avekens

  authored
  9d13cd9

  Copy full SHA for 9d13cd9