Implication Details

Assumptions: cofiltered limits, finite powers

Conclusions: powers

Reason: The product XIX^I is the cofiltered limit of the finite powers XEX^E, where EE ranges over the finite subsets of II.