Implication Details

Assumptions: mono-regular

Conclusions: balanced

Reason: Any regular monomorphism that is an epimorphism must be an isomorphism.