TypeTheory icon indicating copy to clipboard operation
TypeTheory copied to clipboard
verified publisher icon UniMath

Remove two `Time` commands

Open arnoudvanderleer opened this issue 11 months ago • 0 comments

Unless I am mistaken, there are two lingering commands which don't belong anymore https://github.com/UniMath/TypeTheory/blob/41adfeccb8f25ca00323c7aa5a14fb871b37daee/TypeTheory/CwF_TypeCat/CwF_SplitTypeCat_Maps.v#L453 https://github.com/UniMath/TypeTheory/blob/41adfeccb8f25ca00323c7aa5a14fb871b37daee/TypeTheory/CwF_TypeCat/CwF_SplitTypeCat_Maps.v#L533

arnoudvanderleer avatar Dec 20 '24 09:12 arnoudvanderleer