Skip to content

feat: adjust simp attributes on monad lemmas #6870

feat: adjust simp attributes on monad lemmas

feat: adjust simp attributes on monad lemmas #6870

Triggered via issue September 25, 2024 09:15
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