Skip to content

Update Mathlib/CategoryTheory/Monoidal/Cartesian/Mod.lean

2fe4847
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CategoryTheory/Monoidal): MulAction induced by a ModObj #38336

Update Mathlib/CategoryTheory/Monoidal/Cartesian/Mod.lean
2fe4847
Select commit
Loading
Failed to load commit list.