Another big hole found and (I think) patched.
I needed a vastly more algorithmic proof of
M1 o M = M2 o M implies M1 = M2.
Another big hole found and (I think) patched.
I needed a vastly more algorithmic proof of
M1 o M = M2 o M implies M1 = M2.
- Post a new comment
- 4 comments
- Post a new comment
- 4 comments
