2019-05-06 外したい ある定理の仮定が一体どこで使われているのかわからない。 不要であればもちろん邪魔なので、取り外したいのですが、 わざわざ仮定しているということはどこかで使っているはずで 外してしまって良いとの判断が怖くてできない状態です。 うーん…。でも全然使ってないし…。 ないと気楽にその定理が使えるようになるからなぁ…。