CharInstances
instances
CommutativeGroup
algebra
CommutativeMonoid
algebra
CommutativeRig
ring
CommutativeRing
ring
CommutativeRng
ring
CommutativeSemigroup
algebra
CommutativeSemiring
ring
complement
BooleanAlgebra
BoolFromBoolRing
DualBool
Heyting
HeytingFunctions