Step by step process for accesing lemma and theorem from the

Stream: general

[Alejandro Lombardo]

Thank you for the insight. Could you please send me the step by step process for accesing lemma and theorem from the .lean files in mathlib as soon as possible? I would appreciate it if you would. Thank you for your valuable time and attention and will wait for reply, Alejandro Lombardo P.S.: Can't wait to start contributing.

[Eric Wieser]

I think you need to be clearer what you mean by "access". Here's one type of "access" : src#one_mul