Theorem exists_open_nhds_one_mul_subset

Modification history