Theorem BddAbove.exists_ge

Modification history