Theorem CategoryTheory.MorphismProperty.IsMonoidal.mk'

Modification history

2025-11-14 17:31
Mathlib/CategoryTheory/Localization/Monoidal/Basic.lean
feat(CategoryTheory): some API for transporting monoidal morphism properties (#31345)
Added CategoryTheory.MorphismProperty.IsMonoidal.mk'View on Github →