Theorem WeierstrassCurve.CoordinateRing.exists_smul_basis_eq

Modification history