Difference of Function on Vector Space over F. - Kenichi Arai; Ken Wakabayashi; Hiroyuki Okazaki (Formaliz. Math., 2014)