Theorem WeierstrassCurve.isUnit_Δ

Modification history