Theorem TopologicalSpace.Opens.val_apply

Modification history