Theorem CategoryTheory.Functor.IsEquivalence.inv_fun_map

Modification history