Theorem isClosed_of_mem_irreducibleComponents

Modification history