Skip to content
Backport

chore: fix name of new Fin.foldlM_eq_finRange_foldlM lemmas #9901

Sign in to view logs

chore: fix name of new Fin.foldlM_eq_finRange_foldlM lemmas

chore: fix name of new Fin.foldlM_eq_finRange_foldlM lemmas #9901

Triggered via pull request May 21, 2025 00:57
@kim-emkim-em
closed #8425
Status Success
Total duration 14s
Artifacts –

backport.yml

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