Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-12 13:07 81311088

View on Github →

feat(category_theory/opposites): add nat_iso.unop (#2132)

  • Add nat_iso.unop
  • Add docstrings to nat_iso.op, nat_iso.unop

Estimated changes