Loading paper
Solution of the vacuum Einstein equations in Synthetic Differential Geometry of Kock-Lawvere | Tomesphere