Enrich mean-value-theorem-oq-02-oq-04: align retraction stub#21867

rjwalters merged 1 commit into

mainrjwalters/lean-genius:mainfrom

feature/enricher-1-mvt02oq04rjwalters/lean-genius:feature/enricher-1-mvt02oq04Copy head branch name to clipboard