Theorem SchwartzMap.memℒp_top

Modification history

2025-02-21 20:26

Mathlib/Analysis/Distribution/SchwartzSpace.lean

Rename `Mem𝓛p` to `MemLp` (#22164) …

Deleted SchwartzMap.memℒp_top View on Github →

2025-01-31 00:20

Mathlib/Analysis/Distribution/SchwartzSpace.lean

feat(Analysis/Distribution): Add memLp, toLp, toLpCLM, continuous_toLp for SchwartzMap (#20423)

Added SchwartzMap.memℒp_top View on Github →