Theorem BddAbove.inter_of_left

Modification history