Theorem CategoryTheory.IsEquivalence.fun_inv_map

Modification history