Theorem OrderedCancelCommMonoid.toContravariantClassRight

Modification history