complement

BoolFromBoolRing DualBool Heyting HeytingFunctions