Code

eqab -> eqabb#4676

Code

Merged

wlammen merged 12 commits intometamath:developmetamath/set.mm:developfrom wlammen:wl-2wlammen/set.mm:wl-2Copy head branch name to clipboardFeb 27, 2025

+422-430

Commits

Commits on Feb 25, 2025

• eqabw -> eqabbw

  wlammen

  committed
  5c10473

  Copy full SHA for 5c10473

• eqab -> eqabb

  wlammen

  committed
  68da2ef

  Copy full SHA for 68da2ef

• delete outdated OLD

  wlammen

  committed
  4ccaf6f

  Copy full SHA for 4ccaf6f

• abbi -> abbib in nf.mm

  wlammen

  committed
  351ee97

  Copy full SHA for 351ee97

• eqab -> eqabb in nf.mm

  wlammen

  committed
  8a2f687

  Copy full SHA for 8a2f687

• update eqab reference in comment in nf.mm

  wlammen

  committed
  5e2cf4d

  Copy full SHA for 5e2cf4d

• update mmset.raw.html

  wlammen

  committed
  e68cb56

  Copy full SHA for e68cb56

Commits on Feb 26, 2025

• shorten eqabr

  wlammen

  committed
  e22a5b8

  Copy full SHA for e22a5b8

• typo

  wlammen

  committed
  7359e31

  Copy full SHA for 7359e31

• rm duplicated line

  wlammen

  committed
  2336fd4

  Copy full SHA for 2336fd4

• eqabc -> eqabbc

  wlammen

  committed
  ebff851

  Copy full SHA for ebff851

Commits on Feb 27, 2025

• eqabbc -> eqabcb

  wlammen

  committed
  252e798

  Copy full SHA for 252e798