虽然我知道单价的否定实际上是某些同构类型是不相等的,但我认为应该可以表示没有同构类型(不完全相同)是相等的。类型构造函数的不等式能办到吗?上下文
我有一个多态判断(实际上是带有参数forall X : Type, x -> Prop的归纳类型),其X的选择由判断的构造函数决定。即使对于具有相同基数的类型,这些类型相等假设也会出现,所以我
所以,我有一个这样的虚拟df,并将其保存到csv中: import pandas as pd2021-05-06,04:08:00,9150090.0,9150090.0,9125001.0,9130000.0,9.0156422021-05-06,04:10:00,9133882.0,9133882.0,