Theorem CategoryTheory.WithTerminal.false_of_from_star

Modification history