Up – bastet » Bastet » Test » Bool » M » Compare » Euclidean_Ring » 3-A

Parameter `Euclidean_Ring.3-A`

val make : E.t Q.arbitrary