Theorem CategoryTheory.WideSubcategory.tensorμ_hom

Modification history

2026-03-27 14:36
Mathlib/CategoryTheory/Monoidal/Widesubcategory.lean
feat(Kernel/Category): Stoch is a Markov category (#36779) …
Added CategoryTheory.WideSubcategory.tensorμ_homView on Github →