Theorem IsOpen.exists_smul_mem

Modification history