CatDat

Implication Details

Assumptions: exact

Conclusions: left exactright exact

This is an equivalence.

Reason: This holds by definition.