Theorem WeierstrassCurve.Affine.CoordinateRing.smul_basis_mul_Y

Modification history