isDistanceDecreasingUnderHolomorphicMaps

P143043 predicate

Indicates that under holomorphic (complex analytic) maps, the distance between points does not increase and in certain contexts strictly decreases, reflecting a contraction-like behavior with respect to an appropriate metric.

Sample triples (1)

Subject Object
Kobayashi metric true