Theorem InnerProductSpace.Core.topology_eq

Modification history