Implication Details

Assumptions: lextensive

Conclusions: extensive, finitely complete

This is an equivalence.

Reason: This holds by definition.