Code

WIP: chore: extend overview.yaml#19920

Code

Open

grunweg wants to merge 5 commits intomasterleanprover-community/mathlib4:masterfrom MR-extend-overviewleanprover-community/mathlib4:MR-extend-overviewCopy head branch name to clipboard

+28

Commits

Commits on Dec 12, 2024

• chore: add some more items in differential geometry

  Show description for fd21b95
  grunweg

  committed
  fd21b95

  Copy full SHA for fd21b95

• More items, about vector bundles.

  grunweg

  committed
  2bbb12c

  Copy full SHA for 2bbb12c

• chore: move into separate section

  grunweg

  committed
  b3d924d

  Copy full SHA for b3d924d

• Some items about vector fields

  grunweg

  committed
  c58f997

  Copy full SHA for c58f997

• Some items about integral curves

  grunweg

  committed
  de7f3f4

  Copy full SHA for de7f3f4