Commit 2024-11-26 12:47 b4b0314c
View on Github →feat: more eLpNorm
API (#19293)
Make more arguments to rewriting lemmas explicit, more arguments to the other lemmas implicit. Add various lemmas.
From LeanAPAP
feat: more eLpNorm
API (#19293)
Make more arguments to rewriting lemmas explicit, more arguments to the other lemmas implicit. Add various lemmas.
From LeanAPAP