Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-03 01:27 7ee76148

View on Github →

feat(category_theory/isomorphisms): introduce isomorphisms (#278)

  • refactor(category_theory): renaming ulift to ulift_functor to avoid name clashes
  • feat(category_theory): introduce isomorphisms
  • doc(category_theory): rewrite
  • Resolving issues raised by Johannes
  • moving heterogenous_identity.lean into isomorphism.lean
  • remove unnecessary obviously replacement
  • refactor(category_theory): using tidy in the category theory library

Estimated changes

added structure category_theory.iso