أشكال تفاضلية، خرائط مفتوحة-مغلقة، وأكسيومات غромوف-ويتن | Synapse