Skip to content

[Superseded by #702] Fact 2 label map — symplectic orthogonality corrected - #690

Closed
LightChainr wants to merge 1 commit into
mainfrom
issue-677-fact2-label-map
Closed

[Superseded by #702] Fact 2 label map — symplectic orthogonality corrected#690
LightChainr wants to merge 1 commit into
mainfrom
issue-677-fact2-label-map

Issue 677: Fact 2 label map — theorem rows + directional conjecture (…

39d1626
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar