Theorem WeierstrassCurve.baseChange_b₄

Modification history