TwoD: refactor SemiDegenerate + PureQuartic through AddSeparable (Tide 13)#16
Open
dmurfet wants to merge 2 commits into
Open
TwoD: refactor SemiDegenerate + PureQuartic through AddSeparable (Tide 13)#16dmurfet wants to merge 2 commits into
dmurfet wants to merge 2 commits into
Annotations
1 error
|
Run leanprover/lean-action@v1
Process completed with exit code 1.
|
background
wait
wait-all
cancel
parallel
Loading