Theorem WeierstrassCurve.a₁_of_isShortNF

Modification history