Start date cannot be after end date.
Univalent foundations and the equivalence principle
Presenter
- Benedikt Ahrens
September 21, 2015
IAS
Univalent foundations and the equivalence principle
Presenter
- Benedikt Ahrens
September 12, 2018
IAS