have added pointer to:
added pointer to
and to
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
added pointer to Gurer & Iglesias-Zemmour 17 (differential forms on manifolds with corners in diffeology)
]]>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.
]]>