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