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

Estimated changes