Theorem TopologicalSpace.Opens.CompleteCopy.dist_val_le_dist

Modification history