[ add ] left- and right- actions induced by a Magma homomorphism
#5283
Triggered via pull request
November 25, 2025 11:10
jamesmckinna
Status
Success
Total duration
28m 33s
Artifacts
–