Code

empty domain#3784

Code

Merged

benjub merged 6 commits intometamath:developmetamath/set.mm:developfrom wlammen:nax6wlammen/set.mm:nax6Copy head branch name to clipboardFeb 7, 2024

+39-21

Commits

Commits on Jan 21, 2024

• empty logical domain

  wlammen

  committed
  a3f9d52

  Copy full SHA for a3f9d52

• move nax6im back to mathbox

  wlammen

  committed
  58a8c76

  Copy full SHA for 58a8c76

• typos

  wlammen

  committed
  6ace865

  Copy full SHA for 6ace865

Commits on Feb 5, 2024

• update according to review

  wlammen

  committed
  f157700

  Copy full SHA for f157700

• fix reference to theorem

  wlammen

  committed
  9e0749e

  Copy full SHA for 9e0749e

Commits on Feb 6, 2024

• empty line

  wlammen

  committed
  b520881

  Copy full SHA for b520881