Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added the statement (now this prop) that smooth manifolds with boundary are fully faithful in diffeological spaces, with pointer to Igresias-Zemmour 13, section 4.16.
Will add the same to diffeological space.
added pointer to Gurer & Iglesias-Zemmour 17 (differential forms on manifolds with corners in diffeology)
generalized the statement of the theorem about embedding of manifolds with boundaries into diffeological spaces to manifolds with boundaries+corners and, for the proof, added pointer to
1 to 3 of 3