Theorem inf_lt_left

Modification history