Skip to content
Backport

fix: replace bad simp lemmas for Id #9943

Sign in to view logs

fix: replace bad simp lemmas for Id

fix: replace bad simp lemmas for Id #9943

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

backport.yml

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