TY - RPRT TI - Axiomatic Differential Geometry II-4 AU - Hirokazu Nishimura PY - 2012 UR - https://arxiv.org/abs/1211.5271 ID - 1211.5271 ER -