Update StateEq.lean

Question

Closed this issue 4 months ago · 1 comments

We have a file StateEq.lean which has state eq lemmas. Unfortunately, I didn't imported it anywhere, so it didn't keep up with changes to LNSym.

Originally posted by @shigoel in #129 (comment)

Answer 1 · 2024-09-03T20:59:52.000Z

Also see: https://github.com/leanprover/LNSym/pull/129/files#r1742633711
@alexkeizer: "we should get rid of the hlper lemmas in State.lean once StateEq.lean builds again"