Skip to content

feat: add iso_oscar_singular_[coeff/poly]_ring #3278

feat: add iso_oscar_singular_[coeff/poly]_ring

feat: add iso_oscar_singular_[coeff/poly]_ring #3278

Triggered via pull request November 26, 2024 22:30
@thofmathofma
synchronize #4342
th/iso
Status Success
Total duration 36s
Artifacts

JuliaFormatterCI.yml

on: pull_request
check-consistent-formatting
26s
check-consistent-formatting
Fit to window
Zoom out
Zoom in