Commit 2020-11-27 11:58 8acd296e
View on Github →chore(topology/path_connected): move proj_Icc
to a separate file (#5120)
Also use min
and max
in the definition to make, e.g., the proof of the continuity trivial.
chore(topology/path_connected): move proj_Icc
to a separate file (#5120)
Also use min
and max
in the definition to make, e.g., the proof of the continuity trivial.