Def PointwiseConvergenceCLM.postcomp

Modification history

2025-12-12 00:57
Mathlib/Topology/Algebra/Module/PointwiseConvergence.lean
feat(Analysis/Distribution): definition of tempered distributions (#31757) …
Added PointwiseConvergenceCLM.postcompView on Github →