lemma

theorem for proving more complex theorems

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

Kategori:

propositiontheorem