Code

check global dv ordering#164

Code

Open

digama0 wants to merge 2 commits intomainmetamath/metamath-knife:mainfrom global_dvmetamath/metamath-knife:global_dvCopy head branch name to clipboard

+84-12

Commits

Commits on Jul 3, 2024

• check global dv ordering

  Show description for ae11e6c
  digama0

  committed
  ae11e6c

Commits on Jul 5, 2024

• add negative test

  digama0

  committed
  2475f1e