Match Each Lean Concept To Its Description