Theorem biInf_prod

Modification history