Theorem isOpen_iff_generate_intervals

Modification history