Theorem WeierstrassCurve.CoordinateRing.smul_basis_eq_zero

Modification history