Theorem inf_eq_inf_iff_right

Modification history