Theorem PartialHomeomorph.analyticAt_symm'

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