Yeah this is something like what Adam Chlipala's book says. I think I understand this definition well enough to move on now.
Patrick Nicodemus has marked this topic as resolved.
Last updated: Feb 06 2023 at 11:03 UTC