Theorem CategoryTheory.Equivalence.fun_inv_map

Modification history