Theorem CategoryTheory.Functor.IsEquivalence.fun_inv_map

Modification history