Def category_theory.to_thin_skeleton

Modification history