Up – bastet » Bastet » Test » Make » Involutive_Heyting_Algebra » V

Module `Involutive_Heyting_Algebra.V`

val involution : IHA.t -> bool