moved cbv2w in main (metamath#3764)

jamesjer · Jan 14, 2024 · f34c8aa · f34c8aa
1 parent 565c117
commit f34c8aa
Show file tree

Hide file tree

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