Up – bastet » Bastet » Test » Int » M » Involutive_Heyting_Algebra » V

Module `Involutive_Heyting_Algebra.V`

val involution : IHA.t -> bool