Theorem CategoryTheory.Equivalence.isRightAdjoint_inverse

Modification history