Theorem CategoryTheory.Limits.initial.to_comp

Modification history