Commit 2023-07-12 09:20 bf28bf4c

View on Github →

feat(Analysis.LocallyConvex.WithSeminorms): WithSeminorms for infimum of topologies (#5816)

Estimated changes

modified structure WithSeminorms
added theorem withSeminorms_iInf