Skip to content

Theorems for ushiftRight #24

Theorems for ushiftRight

Theorems for ushiftRight #24

Triggered via pull request November 8, 2024 00:36
Status Success
Total duration 8s
Billable time 1m
Artifacts

pr-body.yml

on: pull_request
check-pr-body
2s
check-pr-body
Fit to window
Zoom out
Zoom in