Skip to content
Label PR from status change

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
auto-label
7s
7s