verify cleanup

metamath · Nov 18, 2024 · 2c76746 · 2c76746
1 parent 66ab190
commit 2c76746
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/discouraged b/discouraged
diff --git a/set.mm b/set.mm