CatDat

Implication Details

Assumptions: products

Conclusions: countable productsfinite productspowers

Reason: This is trivial.