Theorem bddAbove_empty

Modification history