Def LinearIsometry.postcomp

feat: if a function is analytic on a set, its derivative also is, even if the space is not complete (#17221) …