TY - RPRT TI - Axiomatic Differential Geometry III-2 AU - Hirokazu Nishimura PY - 2012 UR - https://arxiv.org/abs/1209.6109 ID - 1209.6109 ER -