Univalent foundations and the equivalence principle – Benedikt Ahrens


Univalent foundations and the equivalence principle – Benedikt Ahrens