General ⇒ Automatic extraction of theorems, lemmas, definitions...

[ironjules]

Hi,
I'm making some math notes that contains definitions,theorems, lemmas, etc, with they respective proof. So i want to make a cheat sheet that only include the theorems and lemmas, from the original document that contains everything. There is a automatic way to do this? instead of copy-paste in other document the things that i want...

Thanks in advance.