Theorem category_theory.thin_skeleton.map_comp_eq

Modification history