Module GRing.ComUnitRing_isIntegral

type 'r axioms_ =
  1. | Axioms_