feat(RingTheory/Smooth): some lemmas about formally smooth #244839
Triggered via pull request
April 3, 2026 12:53
riccardobrasca
riccardobrasca
created
#35675
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge.yml
on: pull_request_review_comment
Ping maintainers on Zulip
0s