Theorem LowerSet.not_mem_bot

Modification history