[Merged by Bors] - feat(RingTheory/FormalGroup): definition and examples of formal group #141414
Triggered via pull request
April 4, 2026 09:24
WenrongZou
WenrongZou
synchronize
#35912
Status
Success
Total duration
1m 0s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
57s