Theorem CategoryTheory.WithInitial.false_of_to_star

Modification history