Theorem CategoryTheory.Equivalence.isLeftAdjoint_inverse

Modification history