Skip to content

feat: add ushiftRight_*_distrib theorems #2865

feat: add ushiftRight_*_distrib theorems

feat: add ushiftRight_*_distrib theorems #2865

Triggered via pull request August 6, 2024 08:39
Status Success
Total duration 35s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
25s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in