まずmember?とset?の定義が出てきますがこれは下準備 いままでどおりにやるだけです (if (natp (size ys)) ...)は定理にしておきますね
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。