Def PointwiseConvergenceCLM.precomp

Modification history

2026-04-19 00:33
Mathlib/Topology/Algebra/Module/Spaces/PointwiseConvergenceCLM.lean
chore: adaptations for overlapping instances linter (#38151) …
Modified PointwiseConvergenceCLM.precompView on Github →
2025-12-12 00:57
Mathlib/Topology/Algebra/Module/PointwiseConvergence.lean
feat(Analysis/Distribution): definition of tempered distributions (#31757) …
Added PointwiseConvergenceCLM.precompView on Github →