Theorem biInf_inf

Modification history