Theorem tprod_eq_of_filter_le

Modification history

2025-11-04 09:42
Mathlib/Topology/Algebra/InfiniteSum/Defs.lean
feat: Ixx summation filters (#30380) …
Added tprod_eq_of_filter_leView on Github →