Move ~ rextru to Main (#4599)

metamath · Jan 25, 2025 · 194b058 · 194b058
1 parent 250f1e6
commit 194b058
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/changes-set.txt b/changes-set.txt
diff --git a/set.mm b/set.mm