Intuitionize product equality and bound variable theorems#3906
Merged
jkingdon merged 13 commits intometamath:developfrom jkingdon:prodeq2wApr 7, 2024
+312-36
Commits
Commits on Apr 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed