Theorem gauge_lt_one_of_mem_of_open

Modification history