Ptival / 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)