Def CategoryTheory.Equivalence.congrRight

Modification history