Skip to content

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

feat: add iso_oscar_singular_[coeff/poly]_ring

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

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

JuliaFormatterCI.yml

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