Theorem Cardinal.prod_le_prod

Modification history