Theorem CategoryTheory.Equivalence.inverse_inv

Modification history