Theorem BddAbove.inter_of_right

Modification history