Theorem BddBelow.inter_of_right

Modification history