Theorem CategoryTheory.inclusion_comp_decomposedTo

Modification history