Module Commutative_Ring.V

module I : sig ... end
val multiplicative_commutativity : C.t -> C.t -> bool