∀ {α : Type u_2} [inst : TopologicalSpace α] (Λ₁ Λ₂ : CompactlySupportedContinuousMap α ℝ →ₚ[ℝ] ℝ),
  CompactlySupportedContinuousMap.toNNRealLinear Λ₁ = CompactlySupportedContinuousMap.toNNRealLinear Λ₂ ↔ Λ₁ = Λ₂