Theorem CategoryTheory.Skeleton.one_eq

Modification history

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