Skip to content
Detect changes to header SHAs

[Merged by Bors] - refactor(RingTheory/TensorProduct): simplify assumptions #24256

Sign in to view logs

[Merged by Bors] - refactor(RingTheory/TensorProduct): simplify assumptions

[Merged by Bors] - refactor(RingTheory/TensorProduct): simplify assumptions #24256

Triggered via pull request September 27, 2023 19:06
@eric-wiesereric-wieser
synchronize #7403
eric-wieser/algHomOfLinearMapTensorProduct
Status Success
Total duration 35s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
25s
Add annotations
Fit to window
Zoom out
Zoom in