[prisonguard]

there has to be a better way for a beginner to learn Lean even with the faintest high school mathematics recollection.

I can still do theorem proving in Idris excluding the mathematical notation and still learn concepts such as totality, covering, equality etc

[ykonstant]

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