Commit 2025-02-21 20:26 31af98b7

Rename Mem𝓛p to MemLp (#22164)

• Search + replace emℒp by emLp
• Automatically added deprecations (roughly) by using the regex replace (theorem|lemma|def) ([^ \n]*)emLp([^ \n]*)(((?!\n\n)[\s\S])*)$ >

$1 $2emLp$3$4
@[deprecated (since := "2025-02-21")] 
alias $2em𝓛p$3 := $2emLp$3

• Undid unwanted alias replaces by alias ([^ ]*)emLp([^ ]*) > alias $1em𝓛p$2 (but had to manually change some aliases back that were not deprecated)
• A few lemmas use 𝓛p to refer to eLpNorm, which are now renamed to use eLpNorm