Numeric.Semiring.Involutive

class InvolutiveSemiring r