Theorem gauge_lt_one_of_mem_of_isOpen

Modification history