add QED square to lproofs
warrenalphonso opened this issue · comments
fixed - also modified proof to not use default amsmath proof env
Quantum computing and linear algebra notes
warrenalphonso opened this issue · comments
fixed - also modified proof to not use default amsmath proof env