Structure category_theory.is_skeleton_of

Modification history