Def CategoryTheory.Pi.eqToEquivalence

Modification history

2023-12-07 16:10

Mathlib/CategoryTheory/Pi/Basic.lean

feat(CategoryTheory): more API for product categories (#8865) …

Added CategoryTheory.Pi.eqToEquivalence View on Github →