本文介绍了路径之间的平等的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
使用
在引理的情况下，您想证明有关 trans 的信息在
In the case of the lemma you want to prove about trans you can find a proof at
顺便说一下，三次演示有机地增长了，我们希望以更干净的设置（虽然有不同的基元）在
By the way, cubical-demo grew up organically, and we are starting fresh with hopefully a cleaner setup (altough with different primitives) at
立方具有更好的 Id 模块，例如：
cubical has a better Id module for example:
这篇关于路径之间的平等的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！