/rocq-cheatsheet

For Rocq and SSReflect patterns I keep forgetting how to do...

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)