Filippo A. E. Nuccio
Filippo A. E. Nuccio
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
> Oh, nice! Thanks for pointing this out. I will work on these lemmas tomorrow and will `push` a new version of the PR.
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
Ok, thanks, but now I am lost. What should I do?
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
Yes, I have seen that branch and it looks very good to me, but I would find it easier if you could rather suggest edits to this one, that I...
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
Ok, I think I have merged the other branch to this one. Right?
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
I actually still see the old branch on the list of `PR`'s (although it appears as a `merge`d one), have you seen it disappear? Or maybe the PR is still...
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
> I'll update the PR title/description since only one new lemma is added. Sure! I have updated co-authorship (but please emend this if you so wish, in case of errors).
feat(topology): composition of continuous functions is continuous w.r.t. the compact-open topologies
> Actually bors will add my name because of my commits in the merged branch; so we'd better remove the coauthor message to avoid duplication. Ah, ops, did not know...
@fpvandoorn It seems to me this PR got somewhat stuck...
> Could you split off the forking instructions to another PR and rename this one to something more evocative? Sure (although I am boarding a plane now and it won't...
Done (and opened #471 )