Skip to content
Post PR summary comment

feat(Algebra/Module): presentation of the cokernel of a linear map #26904

Sign in to view logs

feat(Algebra/Module): presentation of the cokernel of a linear map

feat(Algebra/Module): presentation of the cokernel of a linear map #26904

Triggered via pull request October 28, 2024 13:21
@joelrioujoelriou
synchronize #18332
unbundled-module-presentation-cokernel
Status Success
Total duration 54s
Artifacts –

PR_summary.yml

on: pull_request
build
45s
build
Fit to window
Zoom out
Zoom in