Theorem CategoryTheory.Equivalence.inv_fun_map

Modification history