Theorem CategoryTheory.Functor.inv_inv

Modification history