Commit 2023-11-02 21:04 dd5b3da9

View on Github →

feat: the universal property of a disjoint union of topological spaces (#8092)

Estimated changes

modified def ContinuousMap.sigmaMk