(・・・とでも) 記法 命題.1 記法 -functor: について となるとき と書くことにする。 の記号はこの記事以外では省略する。 命題.2 -functor: について -natural in ならば 証明 命題.3 かつ or ならば -natural in 証明 Existence-compatibility @error -funct…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。