Theorem category_theory.thin_skeleton.map_iso_eq

Modification history