Theorem right_eq_inf

Modification history