Wiki. “空类型 (同伦类型论)” [空类型(同伦类型论)]