Def CategoryTheory.Monoidal.Transported

Modification history

2023-03-29 09:53

Mathlib/CategoryTheory/Monoidal/Transport.lean

feat: port CategoryTheory.Monoidal.Transport (#3151)

Added CategoryTheory.Monoidal.Transported View on Github →