I always forget these, so I'm just going to dump my mental mapping of concepts.
Regular Rocq | SSReflect |
---|---|
specialize (H a b) | move / (_ a b) |
I always forget these, so I'm just going to dump my mental mapping of concepts.
Regular Rocq | SSReflect |
---|---|
specialize (H a b) | move / (_ a b) |