Theorem WeierstrassCurve.XYIdeal_eq₂

Modification history