Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-27 22:59 708faa9f

View on Github →

feat(geometry/manifold/manifold): define manifolds (#1422)

  • feat(geometry/manifold/manifold): define manifolds
  • Update src/geometry/manifold/manifold.lean Typo Co-Authored-By: Johan Commelin johan@commelin.net
  • reviewer comments
  • notations, comments
  • Update src/geometry/manifold/manifold.lean Co-Authored-By: Scott Morrison scott@tqft.net
  • Update src/geometry/manifold/manifold.lean Co-Authored-By: Scott Morrison scott@tqft.net
  • manifolds: reviewers comments
  • comment on notation for composition
  • add documentation on atlases and structomorphisms

Estimated changes