Theorem BddAbove.image2_bddBelow

Modification history