に対応する で決まる証明図の逆方向の写像を とします。 を と定義します。これは証明図の逆方向の写像となります。 を と定義します。これは証明図の方向の写像となります。 を を満たすものとします。 として を の元 に変換する(切り詰める)ことを考えま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。