Theorem CategoryTheory.IsEquivalence.inv_fun_map

Modification history