- Minneapolis, MN
- https://mzhang.io
- Joined on
2020-07-21
Path between fibers for boolean equivalence
ok going to try this again without cubical in this doc
using path induction, I was able…
ok going to try this again without cubical in this doc
using path induction, I was able…
Please understand that if you block this user, other actions will be taken. Such as: