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