Theorem BddBelow.bddAbove_image2_of_bddAbove

Modification history