Skip to content

feat(Algebra/Category): for ring homs, epi + finite => surjective #64073

feat(Algebra/Category): for ring homs, epi + finite => surjective

feat(Algebra/Category): for ring homs, epi + finite => surjective #64073

Triggered via pull request October 31, 2024 03:56
Status Success
Total duration 1m 19s
Artifacts

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 11s
Lint style
Check all files imported
36s
Check all files imported
Fit to window
Zoom out
Zoom in