Skip to content

Add is_trivial(::NCRing) #777

Add is_trivial(::NCRing)

Add is_trivial(::NCRing) #777

Triggered via pull request October 8, 2024 09:57
Status Success
Total duration 12m 15s
Artifacts

nemo.yml

on: pull_request
generatematrix
46s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in