Commit 2023-02-06 20:44 b1cae2e0

View on Github →

feat: port Topology.Algebra.Order.ProjIcc (#2115)

Estimated changes

added theorem ContinuousAt.IccExtend
added theorem continuous_projIcc
added theorem quotientMap_projIcc