2026.07.02
https://gyazo.com/0640e012e92f738d641a9e679e93b79c
前：
2026.07.01
後：
2026.07.03
#日報
思った
FABLE
すげーーーーーーーーーーーーー
おれより
形式証明
書くのが早いやつが4人同時に動いてるみたいでやばい
メモ
https://gyazo.com/70801ff07651010381c27871ea16d9d3
https://gyazo.com/64e843dd15931e73ce04d742de8309c2
$ \bf S
のCIPと
$ \bf GL
の不動点定理