lemma (Q207505)
theorem for proving more complex theorems
Language:
other details
aliases helping theorem
description theorem for proving more complex theorems

External Links
(P646) /m/04qjp
(P1245) 1301580
(P2812) Lemma
(P2924) 2138862
(P6366) 152182844
(P6781) Definition:Lemma
(P7726) Lemma