Theorem BddBelow.inter_of_left

Modification history