← Basic Lean Glossary 10082019