Theorem CategoryTheory.Localization.induction_costructuredArrow

Modification history