Changes following reviews.

metamath · Jan 20, 2024 · b010702 · b010702
1 parent 9d46233
commit b010702
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 8 deletions.
diff --git a/iset.mm b/iset.mm
diff --git a/nf.mm b/nf.mm
diff --git a/set.mm b/set.mm