Up – bastet » Bastet » Test » List » M » Euclidean_Ring » 2-A

Parameter `Euclidean_Ring.2-A`

val make : E.t Q.arbitrary