Yeah, they're equivalent. I just prefer the shorter version :) (and these are supposed to show people how to use cvxpy).