generalize dfrac IsOp instance
This makes it more like the instance for auth
.
However, I am somewhat surprised there is no IsOp (q1+q2) q1 q2
instance in frac.v
, what is the reason for that?
This makes it more like the instance for auth
.
However, I am somewhat surprised there is no IsOp (q1+q2) q1 q2
instance in frac.v
, what is the reason for that?