Theorem IsHausdorff.iInf_pow_smul

Modification history

2023-05-20 10:39
Mathlib/LinearAlgebra/AdicCompletion.lean
feat: port LinearAlgebra.AdicCompletion (#4133)
Added IsHausdorff.iInf_pow_smulView on Github →