This is a list of pages that seem to link back to the current page.
Trace: • equational_theory • congruence_regular • congruence_n-permutable • commutative_groupoids