Def CategoryTheory.NatIso.pi

Modification history

2023-12-07 16:10

Mathlib/CategoryTheory/Pi/Basic.lean

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

Added CategoryTheory.NatIso.pi View on Github →