Skip to content

[Merged by Bors] - feat(NumberTheory/ModularForms): the Dedekind Eta function #109622

[Merged by Bors] - feat(NumberTheory/ModularForms): the Dedekind Eta function

[Merged by Bors] - feat(NumberTheory/ModularForms): the Dedekind Eta function #109622

Triggered via pull request August 25, 2025 08:33
Status Success
Total duration 3m 26s
Artifacts

lint_and_suggest_pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in