Skip to content

feat(AlgebraicGeometry/EllipticCurve): improve API for maps and base changes #143742

feat(AlgebraicGeometry/EllipticCurve): improve API for maps and base changes

feat(AlgebraicGeometry/EllipticCurve): improve API for maps and base changes #143742

Triggered via pull request April 12, 2026 09:43
@MultramateMultramate
synchronize #36328
Status Success
Total duration 1m 3s
Artifacts

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
1m 1s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in