finegeometer/synthetic-differential-geometry - Change 2P3NMCV2SKMYQD6GHC47WXC3P7XXAUUY7WJ2LILOPUFNXMT6IALAC

Created by finegeometer on February 19, 2022

2P3NMCV2SKMYQD6GHC47WXC3P7XXAUUY7WJ2LILOPUFNXMT6IALAC

main

B:BD[2.29602] → [2.29602:29721]

- Anders Kock, [Synthetic Differential Geometry](home.imf.au.dk/kock/sdg99.pdf), Cambridge University Press 1981, 2006

[2.29602]

- Anders Kock, [Synthetic Differential Geometry](https://math.au.dk/~kock/sdg99.pdf), Cambridge University Press 1981, 2006