Theorem CategoryTheory.induct_on_objects

Modification history