FAQ
Login
GNU social JPは日本のGNU socialサーバーです。
Usage
/
ToS
/
admin
/
test
/
Pleroma FE
Public
Public
Network
Groups
Featured
Popular
People
Embed Notice
HTML Code
<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://hci.social/users/chrisamaphone/statuses/111988451545035371">chris martens (chrisamaphone@hci.social)'s status on Sunday, 25-Feb-2024 06:53:35 JST</a><a href="https://hci.social/@chrisamaphone" title="chrisamaphone@hci.social"><img src="https://gnusocial.jp/avatar/78576-48-20240811000039.webp" width="48" height="48" alt="chris martens" style="position: absolute; left: 0; top: 0;">chris martens</a></section><article><p>how do you (in your own work) decide when to call something a theorem vs. a lemma vs. a proposition?</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2757289#notice-5467322">In conversation</a><time datetime="2024-02-25T06:53:35+09:00" title="Sunday, 25-Feb-2024 06:53:35 JST">about 8 months ago</time> <span>from <span><a href="https://hci.social/@chrisamaphone/111988451545035371" rel="external" title="Sent from hci.social via ActivityPub">hci.social</a></span></span><a href="https://hci.social/@chrisamaphone/111988451545035371">permalink</a></footer></blockquote>
Corresponding Notice
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?