おっすオラオカルトマニア
あっちの応援スレにも書いたけど、SSの批判が間違っているという証明（LEAN4）の新版だ
https://ideone.com/xEQ1YU