Lean Matheus presentations