Theorem WeierstrassCurve.Projective.comp_equiv_comp

Modification history