double_of_int_DoubleOfInt_lemma3_1.v 26.5 KB