Skip to content
Run pre-commit and in-place update PR on push

feat(RingTheory): Picard group of a domain is isomorphic to ClassGroup #7076

Sign in to view logs

feat(RingTheory): Picard group of a domain is isomorphic to ClassGroup

feat(RingTheory): Picard group of a domain is isomorphic to ClassGroup #7076

Triggered via pull request October 20, 2025 22:47
@alreadydonealreadydone
opened #30736
alreadydone:Pic=ClassGroup
Status Success
Total duration 42s
Artifacts –

pre-commit.yml

on: pull_request
main
29s
main
Fit to window
Zoom out
Zoom in