Theorem Ideal.isOpen_of_open_subideal

Modification history