Implication Details

Assumptions: coextensive, coregular, mono-regular

Conclusions: effective congruences, Malcev

This implication has been dualized from this implication.