Theorem CStarAlgebra.tendsto_mul_right_of_forall_nonneg_tendsto

Modification history

2024-11-27 03:15
Mathlib/Analysis/CStarAlgebra/ApproximateUnit.lean
feat: approximate units in C⋆-algebras (#18506) …
Added CStarAlgebra.tendsto_mul_right_of_forall_nonneg_tendstoView on Github →