Up
–
bastet
»
Bastet
»
Test
»
Int
»
M
»
Involutive_Heyting_Algebra
» 2-A
Parameter
Involutive_Heyting_Algebra.2-A
val
make :
IHA.t
Q.arbitrary