Theorem CategoryTheory.Skeleton.toSkeleton_tensorObj

Modification history

2024-11-11 14:39
Mathlib/CategoryTheory/Monoidal/Skeleton.lean
feat: improve defeq in skeletonEquivalence (#18746) …
Added CategoryTheory.Skeleton.toSkeleton_tensorObjView on Github →