Def ModuleCat.monModuleEquivalenceAlgebraForget

Modification history

2023-07-06 04:18

Mathlib/CategoryTheory/Monoidal/Internal/Module.lean

feat: port CategoryTheory.Monoidal.Internal.Module (#5725)

Added ModuleCat.monModuleEquivalenceAlgebraForget View on Github →