Module Commutative_Ring.V
module I : sig ... endval multiplicative_commutativity : Bastet.Int.Commutative_Ring.t -> Bastet.Int.Commutative_Ring.t -> bool
Commutative_Ring.Vmodule I : sig ... endval multiplicative_commutativity : Bastet.Int.Commutative_Ring.t -> Bastet.Int.Commutative_Ring.t -> bool