Mathlib Changelog
v4
Changelog
About
Github
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_mem
View on Github →