iset: fix typo in ~ifelpwund and ~ifexd. (metamath#4381)

* iset: fix typo in ~ifelpwund and ~ifexd. * Edit comment of ~dfid(2|3).
benjub · Nov 10, 2024 · 4b61080 · 4b61080
1 parent 18baa89
commit 4b61080
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 29 deletions.
diff --git a/iset.mm b/iset.mm
diff --git a/set.mm b/set.mm