In the PCA proof, I see this move:
What is the "trace" algebra/rule that allow this trace-move?
Copyright © 2021 JogjaFile Inc.