Def CategoryTheory.Mat.equivalenceSingleObjInverse

Modification history