Theorem bot_mem_lowerBounds

Modification history