Code

Explanation of DV conditions#3786

Code

Merged

wlammen merged 3 commits intometamath:developmetamath/set.mm:developfrom benjub:mmsetbenjub/set.mm:mmsetCopy head branch name to clipboardJan 25, 2024

+97-95

Commits

Commits on Jan 21, 2024

• mmset.raw.html: fix a few typos and use uniform term 'condition'.

  benjub

  committed
  50de00a

  Copy full SHA for 50de00a

• Link from the comment of ax-5 to the explanation of DV conditions.

  benjub

  committed
  5c90cdc

  Copy full SHA for 5c90cdc

Commits on Jan 23, 2024

• typo

  benjub

  committed
  346c93b

  Copy full SHA for 346c93b