Anders Kock : synthetic geometry of manifolds 4 Replies https://mathesisuniversalis2.wordpress.com/?attachment_id=32