Theorem CategoryTheory.Free.single_comp_single

Modification history