Shortenings using trpred; extract trom from ordom and further shorten…

…ings.
metamath · Oct 15, 2024 · 17f4ac7 · 17f4ac7
1 parent 8ad8596
commit 17f4ac7
Show file tree

Hide file tree

Showing 3 changed files with 43 additions and 17 deletions.
diff --git a/discouraged b/discouraged
diff --git a/iset.mm b/iset.mm
diff --git a/set.mm b/set.mm