Def CategoryTheory.Prod.symmetry

Modification history

2024-05-17 19:31

Mathlib/CategoryTheory/Products/Basic.lean

style: remove all isolated `where` (#12991)

Modified CategoryTheory.Prod.symmetry View on Github →

2023-02-14 06:25

Mathlib/CategoryTheory/Products/Basic.lean

feat port/CategoryTheory.Products.Basic (#2211)

Added CategoryTheory.Prod.symmetry View on Github →