Theorem biInf_congr

Modification history