Theorem CategoryTheory.ThinSkeleton.map_comp_eq

Modification history