Theorem BddBelow.image2_bddAbove

Modification history