global univalence theorem
E1629043
UNEXPLORED
The global univalence theorem is a result in nonlinear analysis that gives conditions under which a differentiable mapping from Euclidean space to itself is globally one-to-one (injective).
All labels observed (1)
| Label | Occurrences |
|---|---|
| global univalence theorem canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.