@chrisamaphone Vaguely, a lemma forms an integral part of a wider theorem, while a proposition has a broader application. Something like that? I haven't thought about it much honestly
Conversation
Notices
-
Embed this notice
pettter (pettter@mastodon.acc.umu.se)'s status on Sunday, 25-Feb-2024 06:53:34 JST pettter -
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Sunday, 25-Feb-2024 06:53:35 JST chris martens how do you (in your own work) decide when to call something a theorem vs. a lemma vs. a proposition?
-
Embed this notice