Module `Compare.Division_Ring`

Parameters

R : Interface.DIVISION_RING
E : Interface.EQ with type t = R.t

Signature

module I : sig ... end

val non_zero_ring : bool
val multiplicative_inverse : R.t -> bool