Skip to content
Backport

feat: lemmas about ordered rings and fields for grind #9937

Sign in to view logs

feat: lemmas about ordered rings and fields for grind

feat: lemmas about ordered rings and fields for grind #9937

Triggered via pull request May 22, 2025 12:06
@kim-emkim-em
closed #8443
Status Success
Total duration 11s
Artifacts –

backport.yml

on: pull_request_target
Backport
2s
Backport
Fit to window
Zoom out
Zoom in