Theorem WeierstrassCurve.j_eq_zero

Modification history