Skip to content

feat: adjust simp attributes on monad lemmas #6874

feat: adjust simp attributes on monad lemmas

feat: adjust simp attributes on monad lemmas #6874

Triggered via issue September 25, 2024 10:22
Status Skipped
Total duration 2s
Artifacts

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in