Theorem CategoryTheory.reflectsIsomorphisms_forget₂

Modification history