Theorem Multipliable.abs

Modification history

2024-11-11 09:44

Mathlib/Topology/Algebra/InfiniteSum/Order.lean

feat(InfiniteSum): infinite product of absolute value (#18747)

Added Multipliable.abs View on Github →