Skip to content

generalize dfrac IsOp instance

Ralf Jung requested to merge ralf/dfrac into master

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?

Merge request reports