TY - RPRT TI - Convenient Antiderivatives For Differential Linear Categories AU - Jean-Simon Pacaud Lemay PY - 2020 UR - https://arxiv.org/abs/1808.08513 ID - 1808.08513 ER -