2024.04.19
https://gyazo.com/ddd63b76b663a182f24704aec8519a6b
前:
2024.04.18
後:
2024.04.20
#日報
メモ
https://gyazo.com/dcfa7e07b882aa7901677621acb73193
$ l \times
ってなんだよと思ったけど
$ \text{$l$ times}
のことかと気付いた
この表記は便利だ
私も使っていこう
A. Visser, T. Litak; "Lewis and Brouwer meet Strong Löb"
https://arxiv.org/pdf/2404.11969.pdf