Theorem inf_binfᵢ

Modification history