Theorem CategoryTheory.ThinSkeleton.comp_toThinSkeleton

Modification history