Theorem Equiv.biInf_comp

Modification history