\module Algebra.Meta

cong

This meta implements the congruence closure algorithm.