`BookProof.ClosureUniqueness.eqOn_topologicalClosure_range_of_eqOn_range` (B : D →ₗ[ℂ] F) (U V : F →L[ℂ] F) (h : ∀ x : D, U (B x) = V (B x)) : ∀ z ∈ (LinearMap.range B).topological

Initializing...

`BookProof.ClosureUniqueness.eqOn_topologicalClosure_range_of_eqOn_range` (B : D →ₗ[ℂ] F) (U V : F →L[ℂ] F) (h : ∀ x : D, U (B x) = V (B x)) : ∀ z ∈ (LinearMap.range B).topological · Prove2Me