Commit 2026-09-22 20:19 da867814
View on Github →chore: golf mvfderiv(Within)_zero (#43986) We can reuse a previous lemma, and remove a superfluous hypothesis at the same time.
chore: golf mvfderiv(Within)_zero (#43986) We can reuse a previous lemma, and remove a superfluous hypothesis at the same time.