lemma

theorem for proving more complex theorems

en-GB/ˈlɛmə/
en-US/ˈlɛmə/

카테고리:

propositiontheorem