Univalent foundations and the equivalence principle – Benedikt Ahrens Veröffentlicht am: 15. Juli 2020von admin Univalent foundations and the equivalence principle – Benedikt Ahrens