Skip to content
continuous integration

Update Mathlib/Algebra/AddTorsor/Basic.lean #39

Sign in to view logs

Update Mathlib/Algebra/AddTorsor/Basic.lean

Update Mathlib/Algebra/AddTorsor/Basic.lean #39

Triggered via push July 31, 2025 19:55
@j-loreauxj-loreaux
pushed 74feff6
Equiv.constDiv
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Lint style
0s
Lint style
Build
0s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in