Skip to content
Check for copyright header

chore: more simp lemmas for LawfulGetElem #13166

Sign in to view logs

chore: more simp lemmas for LawfulGetElem

chore: more simp lemmas for LawfulGetElem #13166

Triggered via pull request May 26, 2025 05:28
@kim-emkim-em
synchronize #8470
getElem_simps
Status Success
Total duration 45s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
35s
check-lean-files
Fit to window
Zoom out
Zoom in