提升引理:唯一提升与同伦提升

原文地址:https://www.cnblogs.com/MathematicalCat/p/9333830.html