Theorem WeierstrassCurve.Affine.CoordinateRing.basis_apply

Modification history