Theorem CategoryTheory.strict_initial

Modification history