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

Parameter `Heyting_Algebra.2-A`

val make : HA.t Q.arbitrary