Theorem infinite_prod

Modification history