CatDat

Implication Details

Assumptions: countable products

Conclusions: countable powersfinite products

Reason: This is trivial.