Commit 2023-12-03 09:21 373c9fe4

View on Github →

chore(Dynamics/../Conservative): small fixes (#8597)

  • rename exists_mem_image_mem* to exists_mem_iterate_mem* because there is no Set.image in the statement.
  • Add type annotations to a proof. I made these changes to improve readability for a conference talk, so why not make them in the library?

Estimated changes