Stuck in Lean (Explicit)

Stuck in Lean (Explicit)