Edit

Also see:

Lean Lexicon

Explanation of key Lean terms online
View the entire lexicon