Up – bastet » Bastet » Test » Bool » M » Involutive_Heyting_Algebra » 2-A

Parameter `Involutive_Heyting_Algebra.2-A`

val make : IHA.t Q.arbitrary