Reduction to $S^2\otimes S^2$ in EK
Sunday, November 15, 2015
4:44 PM