Closed hyrodium closed 10 months ago
Merging #131 (e10e0c7) into main (b482c33) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## main #131 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 2 2
Lines 162 162
=========================================
Hits 162 162
:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more
This PR replaces $SU(2)$ with $U(1,\mathbb{H})$ in the documentation.