Theorem Cardinal.mk_prod

Modification history