Def CategoryTheory.decomposedEquiv

Modification history