prove sbrim without ax-10

GinoGiotto · Nov 20, 2024 · 87f6fe1 · 87f6fe1
1 parent 2bbe55e
commit 87f6fe1
Show file tree

Hide file tree

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