Commit 2024-12-14 13:50 468b507d

View on Github →

feat: drop an assumption in mfderivWithin_const (#19936) Followup to #19694

Estimated changes

modified theorem mfderivWithin_const