Theorem CategoryTheory.coreCategory_comp_iso

Modification history