Skip to content
Label PR based on Comment

chore: remove @[simp] attributes from monad-specific SatisfiesM lemmas #1436

Sign in to view logs

chore: remove @[simp] attributes from monad-specific SatisfiesM lemmas

chore: remove @[simp] attributes from monad-specific SatisfiesM lemmas #1436

Triggered via issue November 19, 2024 04:32
@kim-emkim-em
commented on #1054 01f4969
Status Skipped
Total duration 3s
Artifacts –

labels-from-comments.yml

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