类名称去掉 Lean 前缀 #102

Closed juvenn closed 8 years ago