Here i put some Lean knowledge for archive