uniqueness): two analytic functions that coincide locally coincide globally (#16723)

Commit

3 years ago

feat(analysis/analytic/uniqueness): two analytic functions that coincide locally coincide globally (#16723) Higher dimensional version of #16489.

Author

sgouezel

Parents