[ykonstant]

A better way than what? The snippet you posted has nothing to do with how a beginner (or intermediate) learns Lean.