Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-24 08:36 9e59e291

View on Github →

feat(category_theory/opposites): Add is_iso_op (#9319)

Estimated changes

added theorem category_theory.op_inv