标签： coq ssreflect
我正在尝试使用SSReflect的矩阵库和Coquelicot（http://coquelicot.saclay.inria.fr/html/Coquelicot.Complex.html）的复数。
然而，我收到错误：
GRing.Ring.sort
我认为C是某种类型类或规范结构，但如何将prop实例化为该类的成员？
C
prop