2010年10月28日のツイート
@kururu_goedel: existsはここではdestructできないよと怒られていたのは、要するにsigをdestructしてsigを証明するのはOKだけど、existsをdestructしてsigを証明するのはダメ、ってことでいいんでしょうか。
@kururu_goedel: increasing sequence2できた。
@kururu_goedel: existsはここではdestructできないよと怒られていたのは、要するにsigをdestructしてsigを証明するのはOKだけど、existsをdestructしてsigを証明するのはダメ、ってことでいいんでしょうか。
@kururu_goedel: increasing sequence2できた。