Mr. Covariant Derivatives#26221

grunweg wants to merge 458 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:MR-covariant-derivativesgrunweg/mathlib4:MR-covariant-derivativesCopy head branch name to clipboard