<div class="chatlog__message-group"> <div id="chatlog__message-container-408131354786529280" class="chatlog__message-container" data-message-id="408131354786529280"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/embed/avatars/1.png" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" title="nobkz4791" data-user-id="393018426869940239">Nobkz</span> <a href="/channels/400483073743126558?category=archived&channel=math&message_id=408131794777669633"><span class="chatlog__timestamp" title="Wednesday, January 31, 2018 5:28 AM"></span></a><a href="#chatlog__message-container-408131354786529280">1/31/2018 5:28 AM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">うーんと、そもそもそれが"圏"と呼ぶ前提になってるかわかりません。</span></div> </div> </div> </div> <div id="chatlog__message-container-408131794777669633" class="chatlog__message-container" data-message-id="408131794777669633"> <div class="chatlog__message"> <div class="chatlog__message-aside"> <div class="chatlog__short-timestamp" title="Wednesday, January 31, 2018 5:30 AM">5:30 AM</div> </div> <div class="chatlog__message-primary"> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">対象がこれで、射がこれで、合成はこう定義して、結合律と単位律が達成できれば、圏と呼ぶ権利が与えられる。みたいな。</span> <span class="chatlog__edited-timestamp" title="Wednesday, January 31, 2018 5:31 AM">(edited)</span></div> </div> </div> </div> </div>