Theorem IsPiSystem.dissipate_mem

Modification history

2026-03-10 12:16
Mathlib/MeasureTheory/PiSystem.lean
feat(Topology/Compactness/CompactSystem): introduce compact Systems (#36013) …
Added IsPiSystem.dissipate_memView on Github →