Theorem inf_le_right'

Modification history