Theorem CategoryTheory.WithInitial.false_of_to_star'

Modification history