Proposition 10.b — φ ∈ Γ₀(H) with ∂φ contracting distances ⟺ the three properties of 9.b

Initializing...

Proposition 10.b — φ ∈ Γ₀(H) with ∂φ contracting distances ⟺ the three properties of 9.b · Prove2Me