Theorem WeierstrassCurve.CoordinateRing.norm_smul_basis

Modification history