Theorem TopologicalSpace.Opens.CompleteCopy.dist_eq

Modification history