Skip to content

Some minor refactoring surrounding Dedekind reals #5472

Some minor refactoring surrounding Dedekind reals

Some minor refactoring surrounding Dedekind reals #5472

Triggered via pull request December 12, 2023 18:29
Status Success
Total duration 2m 32s
Artifacts

ci.yaml

on: pull_request
pre-commit
31s
pre-commit
link-check
25s
link-check
Fit to window
Zoom out
Zoom in