Add implication: integral domains are not trivial #2959
Triggered via pull request
November 25, 2024 11:45
fingolfin
Status
Success
Total duration
3h 3m 26s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
48s
Matrix: test-oscar