プログラム全体を一つの関数とみなしたり、関係の命題として表したり、自分には超難しい。証明もくそ長くなってきて手に負えなくなりつつある。そろそろ限界か。見たことないタクティックの使い方もやたら出てくんですが。 apply (H0 x) in H1. apply withを…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。