Up – bastet » Bastet » Test » Int » M » Commutative_Ring » 2-A

Parameter `Commutative_Ring.2-A`

val make : C.t Q.arbitrary