Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.


    It seems to me that this can be answered directly from definitions and maybe some elementary lemmas. Does this really belong in

    The author did not word the question very well -- depending on specifics the answer could be "obviously no" or "yes with caveats". It strikes me as potentially an intro manifolds homework problem. I've voted to close.