lint and suggest

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

Sign in to view logs

Triggered via pull request October 31, 2024 03:56

erdOne

synchronize #18267

erd1/finiteEpi

Status Success

Total duration 1m 19s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported